[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 Computation
Cortadella, Jordi; Reisig, Wolfgang
- 作者Cortadella, Jordi; Reisig, Wolfgang
- 文件大小297.18KB
- 发表时间2004
- DOI10.1007/978-3-540-27793-4_21
- 页码371-390