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!
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!
The Ultimate Scientific and Technical Reference