ISO/IEC 15909-1:2004
Системная и программная инженерия. Сети Петри высокого уровня. Часть 1. Концепции, определения и графические обозначения.
- Стандартный №
- ISO/IEC 15909-1:2004
- Дата публикации
- 2004
- Разместил
- International Organization for Standardization (ISO)
- состояние
- быть заменен
- ISO/IEC 15909-1:2004/Amd 1:2010
- Последняя версия
- ISO/IEC 15909-1:2019
- сфера применения
- 1.1 Цель Настоящий международный стандарт определяет метод сетей Петри, называемый сетями Петри высокого уровня, включая его синтаксис и семантику. Он предоставляет справочное определение, которое может использоваться как внутри организаций, так и между ними, чтобы обеспечить общее понимание метода и спецификаций, написанных с использованием этого метода. Этот международный стандарт также облегчит разработку и совместимость инструментов компьютерной поддержки сети Петри. Часть 1 настоящего международного стандарта определяет математическую семантическую модель, абстрактный математический синтаксис для аннотаций и графическую нотацию для сетей Петри высокого уровня, известную как граф сети Петри высокого уровня. Приведено математическое отображение, определяющее графическую форму с точки зрения семантической модели. Формат передачи для графа сети Петри высокого уровня является предметом части 2 настоящего международного стандарта, а в части 3 рассматриваются методы модульности (например, иерархии) и расширения сетей Петри высокого уровня с течением времени. 1.2 Область применения Настоящий международный стандарт применим к широкому спектру параллельных систем с дискретными событиями и, в частности, к распределенным системам. Общие области применения включают: 1.3 Аудитория Часть 1 настоящего международного стандарта написана как справочник для системных аналитиков, проектировщиков, разработчиков, специалистов по сопровождению и снабжению, а также для разработчиков инструментов сети Петри и разработчиков стандартов.
ISO/IEC 15909-1:2004 История
- 2019 ISO/IEC 15909-1:2019 Системная и программная инженерия. Сети Петри высокого уровня. Часть 1. Концепции, определения и графические обозначения.
- 2010 ISO/IEC 15909-1:2004/Amd 1:2010 Разработка программного обеспечения и систем. Сети Петри высокого уровня. Часть 1. Концепции, определения и графические обозначения. Поправка 1. Симметричные сети.
- 2004 ISO/IEC 15909-1:2004 Системная и программная инженерия. Сети Петри высокого уровня. Часть 1. Концепции, определения и графические обозначения.
