Author:
Kleijn Jetty,Koutny Maciej
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Best, E., Devillers, R.: Sequential and concurrent behaviour in Petri net theory. Theor. Comput. Sci. 55(1), 87–136 (1987)
2. Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)
3. Engelfriet, J.: Branching processes of Petri nets. Acta Inf. 28(6), 575–591 (1991)
4. Esparza, J., Heljanko, K.: Unfoldings: A Partial Order Approach to Model Checking. Monographs in Theoretical Computer Science. Springer (2008)
5. Lecture Notes in Computer Science;J. Esparza,1996