Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets

In the first part of this paper we establish the equivalence of a variety of structural and behavioural definitions for free choice nets and simple nets. In the second part we describe a result characterising the non-sequential behaviour of a class of live and safe free choice nets.

[1]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[2]  P. S. Thiagarajan,et al.  A Theory for Bipolar Synchronisation Schemes , 1983 .

[3]  Rüdiger Valk,et al.  Formal Properties of Place/Transition Nets , 1979, Advanced Course: Net Theory and Applications.

[4]  M. W. Shields.  Non-Sequential Behaviour , 1984, Symposium on Programming.

[5]  M. W. Shields.  Adequate Path Expressions , 1979, Semantics of Concurrent Computation.

[6]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[7]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[8]  Eike Best,et al.  Adequacy Properties of Path Programs , 1982, Theor. Comput. Sci..