Process semantics of general inhibitor netsH.C.M. Kleijn; M. Koutny · 2004

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2004 Volume 3099 || Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space ComputationCortadella, Jordi; Reisig, Wolfgang · 2004