![](/assets/images/picto-drapeau-france-3a76576a5d60a512053b4612ab58dae5.png)
4. Timed Petri nets
4.1 Presentation
The process of designing and implementing a sequential system presupposes a rigorous analysis of the system's functional specifications which, as we have seen, can be based on a model of the "autonomous Petri net" type. In this so-called "validation" stage, the autonomous Petri net, by definition, provides a description of the control part only, a description that is cut off from the environment, and therefore from the operative part, as defined in paragraph 1.4
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
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
Timed 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
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference