MeFoSyLoMa CNRS Iniria
QR Code
Last modified
June 28, 2016

Oct 21, 2017
The Petri Net Based Services


A Petri net is a mathematical modeling language particularly adapted to the description of distributed systems. It is a directed bipartite graph, in which the nodes represent transitions (i.e. events that may occur, represented by rectangles or bars) and places (i.e. conditions, represented by circles or ellipses). The directed arcs describe which places are pre and/or postconditions for which transitions.

Petri Nets were first defined by the German mathematician Carl Adam Petri.

There are numerous Petri net dialects and handles several of them:

The pages of this section present the formalism itself, some illustrating examples, as well as the services for Petri net-based Verification available in .

Available services for Petri nets

So far, the following services are available in (full bundle or Petri Net Bundle):

Please note that all services may not be documented (see the list in the table of content aside this page). However, the use of services by means of the user interface is quite intuitive so users aware of Petri nets should be able to cope with this lack;-).

Some references