Olivier H. Roux, Didier Lime. Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. In Jordi Cortadella, Wolfgang Reisig, editors, Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings. Volume 3099 of Lecture Notes in Computer Science, pages 371-390, Springer, 2004. [doi]
Abstract is missing.