Complete Process Semantics for Inhibitor Nets

Gabriel Juhás, Robert Lorenz, Sebastian Mauser. Complete Process Semantics for Inhibitor Nets. In Jetty Kleijn, Alexandre Yakovlev, editors, Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings. Volume 4546 of Lecture Notes in Computer Science, pages 184-203, Springer, 2007. [doi]

Abstract

Abstract is missing.