Français
2. Autonomous Petri nets
2.1 Definitions. Examples
2.1.1 Informal definition of Petri nets
A Petri net is a graph composed of two types of nodes:
places that describe the states of the system being modeled ;
transitions representing changes of state.
Places and transitions are linked by oriented arcs (figure 7 ). A Petri net is said to be a bipartite...
The Ultimate Scientific and Technical Reference
This article is included in
Control and systems engineering
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Autonomous Petri nets
Colored Petri nets
Bibliography
Consult our databases
Norms and Standards
- Software and system engineering. High-level Petri nets. Part 1 : concepts, definitions and graphical notation Part 2 – Transfer format - ISO/IEC 15909 - 12-04
- http://www.iso.org/iso/fr/ - Standard ISO/IEC 15909 -
Organizations – Federations – Associations
• French-speaking group – GdR MACS/CNRS (Modélisation, analyse et conduite des systèmes dynamiques) – "Petri nets": http://www.ec-lille.fr/~rdp/
• Petri Nets World http://www.daimi.au.dk/PetriNets
The Ultimate Scientific and Technical Reference
