Язык разметки сетей Петри

Язык разметки сетей Петри (PNML) — это формат обмена, позволяющий инструментам сети Петри обмениваться моделями сетей Петри. ^[1] PNML — это основанный на XML синтаксис для сетей Петри высокого уровня , который разрабатывается как стандартный формат обмена для инструментов сетей Петри.В конечном итоге это будет вторая часть стандарта ISO /IEC 15909.Грамматика PNML общедоступна на справочном сайте .

Первая часть этого международного стандарта, ^[2] предоставляет математические определения для сетей Петри высокого уровня.Эти определения называются семантической моделью.

Он также предоставляет определение графической формы, известное как график сети Петри высокого уровня (HLPNG), и его сопоставление с семантической моделью.

По состоянию на декабрь 2004 г. ^[update] первая часть является международным стандартом.

Ссылки

Внешние ссылки

pnml.org — справочный сайт PNML

Эта математике статья по незавершена . Вы можете помочь Википедии, расширив ее .

[1] ttps://link.springer.com/chapter/10.1007/978-3-540-40022-6_7 .

[2] ИСО/МЭК 15909-1:2004.

[1]

[2]