Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
http://www.pnml.org/: ↳ http://www.pnml.org/version-2009/version-2009.php ↳ http://www.pnml.org/version-2009/extensions/specialarcs.rng ↳ http://www.pnml.org/version-2009/extensions/resetptnet.pntd ↳ http://www.pnml.org/version-2009/extensions/inhibitorptnet.pntd ↳ http://www.pnml.org/version-2009/extensions/resetinhibitorptnet.pntd PNML grammar, version 2009 Extensions It is possible to extend PNML schema in any way suitable to your specific need. However, as we said on the presentation page, your new defined type will not yet be standard-compatible. This situation will last until part 3 of the standard defines a coherent theoretical and practical framework to do so, in order for standard-compliant tools to automatically discover and read without any ambiguities, Petri net models according to your new type. As an example, we publish here Jan Martijn's definition of three new P/T net types: • reset; • inhibitor; • and reset-inhibitor nets. These PNTDs use a convention document, declaring the special arcs needed for their definition. 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.