Structure Theory of Petri Nets: the Free Choice Hiatus, Petri Nets: Central Models and Their Properties, pp.168-205, 1987. ,
DOI : 10.1007/978-3-540-47919-2_8
Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets, CAAP'83, pp.141-154, 1983. ,
DOI : 10.1007/3-540-12727-5_7
Structure Theory of Petri Nets, Transactions on Petri Nets and Other Models of Concurrency VII, pp.162-224, 2013. ,
DOI : 10.1007/978-3-642-38143-0_5
Free Choice Petri Nets, 1995. ,
DOI : 10.1017/CBO9780511526558
Decidability and complexity of petri net problems ? an introduction Lectures on Petri Nets I: Basic Models, LNCS, vol.1491, pp.374-428, 1998. ,
The linear time - branching time spectrum, CONCUR '90 Theories of Concurrency: Unification and Extension, pp.278-297, 1990. ,
DOI : 10.1007/BFb0039066
On Synchronous and Asynchronous Interaction in Distributed Systems, MFCS 2008, pp.16-35, 2008. ,
DOI : 10.1007/978-3-540-85238-4_2
Symmetric and Asymmetric Asynchronous Interaction, Electronic Notes in Theoretical Computer Science, vol.229, issue.3, pp.77-95, 2008. ,
DOI : 10.1016/j.entcs.2009.06.040
Abstract processes of place/transition systems, Information Processing Letters, vol.111, issue.13, pp.626-633, 2011. ,
DOI : 10.1016/j.ipl.2011.03.013
Strong Distributability Criteria for Petri Nets, 2013. ,
Kommunikation mit Automaten, 1962. ,
Petri nets: Basic notions, structure, behaviour, Current Trends in Concurrency, pp.585-668, 1986. ,
DOI : 10.1007/BFb0027048
Deterministic languages of petri nets Application and Theory of Petri Nets, pp.198-202, 1982. ,