Kleijn, H. C. M.; Koutny, M. Infinite process semantics of inhibitor nets. (English) Zbl 1234.68302 Donatelli, Susanna (ed.) et al., Petri nets and other models of concurrency – ICATPN 2006. 27th international conference on applications and theory of Petri nets and other models of concurrency, Turku, Finland, June 26–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-34699-9/pbk). Lecture Notes in Computer Science 4024, 282-301 (2006). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{M. Koutny}, Lect. Notes Comput. Sci. 4024, 282--301 (2006; Zbl 1234.68302) Full Text: DOI
Kleijn, H. C. M.; Koutny, M. Process semantics of general inhibitor nets. (English) Zbl 1101.68699 Inf. Comput. 190, No. 1, 18-69 (2004). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{M. Koutny}, Inf. Comput. 190, No. 1, 18--69 (2004; Zbl 1101.68699) Full Text: DOI
Kleijn, H. C. M.; Koutny, M. Causality semantics of Petri nets with weighted inhibitor arcs. (English) Zbl 1012.68125 Brim, Luboš (ed.) et al., CONCUR 2002 - concurrency theory. 13th international conference, Brno, Czech Republic, August 20-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2421, 531-546 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{M. Koutny}, Lect. Notes Comput. Sci. 2421, 531--546 (2002; Zbl 1012.68125) Full Text: Link