BS ISO/IEC 15909-3:2021
Системная и программная инженерия. Сети Петри высокого уровня. Расширения и механизмы структурирования.

Стандартный №

BS ISO/IEC 15909-3:2021

Дата публикации

2021

Разместил

British Standards Institution (BSI)

Последняя версия

BS ISO/IEC 15909-3:2021

сфера применения

Область применения Этот документ определяет обогащение, расширение и механизмы структурирования сетей Петри, применяемые на основе определений, предложенных в ISO/IEC 15909-1. Этот документ облегчает определение новых типов сетей Петри и их взаимодействия, сохраняя при этом совместимость с сетями, определенными в ISO/IEC 15909-1. Этот документ написан как справочник для разработчиков новых вариантов сетей Петри, определяя общие механизмы обогащения, расширения и структурирования, а также обобщенный процесс определения новых. Этот документ применим к широкому спектру параллельных систем дискретных событий и, в частности, к распределенным системам. Общие области применения включают: 　——анализ требований; 　——разработка спецификаций, проектов и наборов тестов; 　——описания существующих систем до реинжиниринга; 　——моделирование бизнес- и программных процессов; 　——обеспечение семантики для параллельных языков; 　——моделирование систем для повышения доверия; 　——формальный анализ поведения систем;

BS ISO/IEC 15909-3:2021 История

• 2021 BS ISO/IEC 15909-3:2021 Системная и программная инженерия. Сети Петри высокого уровня. Расширения и механизмы структурирования.