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!
Already subscribed? Log in!
Timed Petri nets
Interpreted Petri nets
Article included in this offer
"Control and systems engineering"
(
143 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Consult our databases
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
![Écoutez notre podcast Cogitons Sciences : Clément Thivin, un ingénieur pas bateau [Des ingénieurs qui cassent la routine #3]](https://www.techniques-ingenieur.fr/actualite/wp-content/uploads/2022/04/visuel-Article-actu-Podcast-12-ok-2.png)
