Эта часть ISO/IEC 15909 определяет формат передачи на основе XML для сетей Петри, которые концептуально и математически определены в ISO/IEC 15909-1. Этот формат передачи позволяет обмениваться сетями Петри между различными инструментами сетей Петри и между разными сторонами. Более того, эта часть ISO/IEC 15909 определяет некоторые концепции и синтаксис на основе XML для определения подробного графического вида сетей Петри. Основное внимание в этой части ISO/IEC 15909 уделяется формату передачи для сетей мест/переходов, сетей Петри высокого уровня и симметричных сетей. Однако презентация структурирована таким образом, что она открыта для будущих расширений, так что другие версии сетей Петри могут быть добавлены позже. Точное определение этого механизма расширения, называемого определением типа сети Петри, не определено в этой части ISO/IEC 15909; оно будет определено в ISO/IEC 15909-3. Формат передачи будет использоваться для передачи спецификаций систем, разработанных в сетях Петри высокого уровня, между инструментами для облегчения разработки систем в группах. Эта часть ISO/IEC 15909 написана как справочник для разработчиков инструментов сетей Петри. Более того, оно будет полезно исследователям, определяющим новые версии и варианты сетей Петри.
ISO/IEC 15909-2:2011 История
2013ISO/IEC 15909-2:2011/Cor 1:2013 Системная и программная инженерия. Сети Петри высокого уровня. Часть 2: Формат передачи; Техническое исправление 1
2011ISO/IEC 15909-2:2011 Системная и программная инженерия. Сети Петри высокого уровня. Часть 2. Формат передачи.
2009ISO/IEC 15909-2:2009 Разработка программного обеспечения и систем. Сети Петри высокого уровня. Часть 2. Формат передачи