2. Functional extensions of Petri nets
Although Petri nets enable basic mechanisms such as synchronization, choice, competition, appointments, etc. to be modeled simply and graphically, they have proved to be very limiting. Indeed, the simple consumption and creation of resources (tokens) does not allow us to model very complex systems. A number of studies have been carried out to extend the reference Petri net formalism to offer more compact and expressive models. However, it will be necessary to find a compromise between the richness of the model through the addition of extensions and the loss of decidability of certain properties. The following section presents some of these extensions.
2.1 Inhibitory arc
As a general rule, tokens allow a transition to be fired. We can imagine the case of a test...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Functional extensions of Petri nets
Temporal extensions of 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
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)
