Discrete, Continuous, and Hybrid Petri Nets

Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in automatic control.

Recently this discrete Petri Nets formalism was successfully extended to continuous and hybrid systems. This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets with th...