Discrete, Continuous and Hybrid Petri Nets (David, R. and Alla, H.; 2004)

This text provides the unifying perspective for all of the predominant variations of the Petri net (PN) modeling framework while highlighting the differentiating elements among them and the implied relationships. The book also fills a gap in the existing PN literature on continuous and hybrid PNs. Some of the topics covered include: an introduction to basic concepts appearing in the original PN modeling framework of autonomous and ordinary PNs; a more formal characterization of the autonomous ordinary PN model; nonautonomous PNs; autonomous continuous and hybrid PNs; and timed dynamics in continuous and hybrid PNs. The book is supported with 15 appendices treating topics that include regular expressions and languages, conflict resolution, elements of graph theory, Grafcet, the linearity of the fundamental equation for continuous PNs, the graphs of relations among conflicts, and piecewise constant maximal firing speeds.