Petri Net Primer
Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis
English | 2024 | ISBN: 3031482778 | 548 Pages | PDF (True) | 6 MB
English | 2024 | ISBN: 3031482778 | 548 Pages | PDF (True) | 6 MB
Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may be huge. It is often opportune to restrict oneself to classes of systems, to partial algorithms, and to similar but simpler properties. Instead of analysing a given system, it is also possible to search for a system satisfying some desired properties by construction.