CUI LSV LIPN LIP6
MeFoSyLoMa CNRS Iniria
QR Code
Last modified
June 28, 2016

Displayed
Oct 21, 2017
P/T Nets - Grammar

Introduction

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:

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:

<PositiveInteger>
any sequence of numeric character which value > 0
<NaturalInteger>
any sequence of numeric character which value ≥ 0

Grammar for Arc Valuations

<ArcLabel> ::=
<PositiveInteger>

Grammar for Place Marking

<InitialMarking> ::=
<NaturalInteger>