Petri Nets

This chapter defines Petri net (PN) and introduces its basic concepts and properties that are used in this book. For details, see Murata (1989), Zhou and DiCesare (1993), Zhou and Venkatesh (1998), and Proth and Xie (1996).