Язык разметки сети Петри - Petri Net Markup Language
 | Эта статья предоставляет недостаточный контекст для тех, кто не знаком с предметом. (Октябрь 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Язык разметки сети Петри (PNML) - это формат обмена, направленный на обеспечение Сеть Петри инструменты для обмена моделями сетей Петри. PNML - это XML синтаксис для сети Петри высокого уровня, который разрабатывается как стандартный формат обмена для инструментов сети Петри. В конечном итоге он станет второй частью Стандарт ISO Грамматика ISO / IEC 15909.PNML общедоступна по ссылке. сайт.
Первая часть этого международного стандарта,[1] предоставляет математические определения для высокоуровневых сетей Петри, которые называются семантической моделью.
Он также предоставляет определение графической формы, известное как высокоуровневый сетевой граф Петри (HLPNG), и его отображение на семантическую модель.
По состоянию на декабрь 2004 г. первая часть является международным стандартом.