TY - CHAP A1 - King Sing Cheung ED1 - Vedran Kordic Y1 - 2008-02-01 PY - 2008 T1 - Augmented Marked Graphs and the Analysis of Shared Resource Systems N2 - Although many other models of concurrent and distributed systems have been de- veloped since the introduction in 1964 Petri nets are still an essential model for concurrent systems with respect to both the theory and the applications. The main attraction of Petri nets is the way in which the basic aspects of concurrent systems are captured both conceptually and mathematically. The intuitively appealing graphical notation makes Petri nets the model of choice in many applications. The natural way in which Petri nets allow one to formally capture many of the basic notions and issues of concurrent systems has contributed greatly to the development of a rich theory of concurrent systems based on Petri nets. This book brings together reputable researchers from all over the world in order to provide a comprehensive coverage of advanced and modern topics not yet reflected by other books. The book consists of 23 chapters written by 53 authors from 12 different countries. BT - Petri Net SP - Ch. 17 UR - https://doi.org/10.5772/5326 DO - 10.5772/5326 SN - PB - IntechOpen CY - Rijeka Y2 - 2018-09-25 ER -