Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
anyElement
arbitrary
booleans
conventions
core
cyclic
dots
extensions
finite-enums
finite-ints
highlevel
integers
lists
multisets
partitions
ptnet
strings
symmetric
terms
README.txt
zoo.xml

README.txt

http://www.pnml.org/:
 ↳  http://www.pnml.org/version-2009/version-2009.phphttp://www.pnml.org/version-2009/grammar.zip

PNML grammar, version 2009

The earliest (non standardized) version of PNML was 1.3.2. It does not support the now required concept of Page in PNML models. It
does not support the family of High-level Petri Nets ( Symmetric Nets and High-level Petri Net Graphs).

Version 2009 is the current active version of PNML grammar. You may download the entire grammar in one archive.

It defines the following concepts:

• The definition of PNML Core Model.
• Labels used by PT Nets nodes and arcs.
• The any element construct used to define any grammar the standard does not provide precise definition for; for instance, tool specific definition.
• PT Nets type declaration.
• Booleans
• Finite enumerations
• Cyclic enumerations
• Finite integer ranges
• Dots
• Multisets
• Partitions
• Lists
• Integers
• Strings
• Terms
• Arbitrary declarations
• High-level Core Structure
• High-level Place/Transition Nets: they are defined as a restriction of High-level Petri Nets Graphs
• Symmetric Nets
• High-Level Nets

For more information please refer to http://www.pnml.org/ and contact the authors of these grammars and definitions, for which they
retain full rights in whatever degree they desire.