Augmented Marked Graphs by King Sing Cheung
English | PDF | 2014 | 157 Pages | ISBN : 3319064274 | 4.6 MB
Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources.