1. Petri nets
Petri nets (RdP) are a graphical formalism used to model Discrete Event Systems (DES), introduced in 1962 by Carl Adam Petri. . They are particularly well suited to the study of complex processes involving synchronization and resource-sharing properties.
Readers interested in further developments will find an overview in .
You do not have access to this resource.
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed?
Log in!
Ongoing reading
Petri nets
Bibliography
-
(1) - BACCELLI (F.), COHEN (G.), OLSDER (G.-J.), QUADRAT (J.-P.) - Synchronization and linearity : An Algebra for Discrete Event Systems. - Wiley and Sons (1992).
-
(2) - BALBO (G.), SILVA (M.) - Performance models for discrete event systems with synchronizations. - Match...
You do not have access to this resource.
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed?
Log in!