BNF P/T Nets

For questions regarding the syntax, please contact Maximilien Colange, Fabrice Kordon, or Yann Thierry-Mieg.

The presentation of the syntax is divided in two parts:

  • The arc valuation attribute,
  • The place marking attribute.

A precise (and formal) definition can be found here for Place Transition Nets :

Wikipedia also offers some useful basic definitions.

Grammar: Basic Elements

The grammar is presented as a Backus-Naur form.

First of all, let us define some elements of the grammar:

[code language=”bnf”]
::= any sequence of numeric character which value > 0
::= any sequence of numeric character which value ≥ 0
[/code]

Grammar for Arc Valuations

[code language=”bnf”]
::=
[/code]

Grammar for Place Marking

[code language=”bnf”]
::=
[/code]