Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
E. Best: Adequacy Properties of Path Programs. TCS Vol. 18, pp. 149–171 (1982).
H.J. Genrich and E. Stankiewicz-Wiechno: A Dictionary of Some Basic Notions of Net Theory. Lecture Notes in Computer Science Vol. 84, pp. 519–535 (1980).
H.J. Genrich and P.S. Thiagarajan: A Theory for Bipolar Synchronisation Schemes. Computer Sc. Dep., Århus University, DAIMI PB-158 (March 1983).
M.H.T. Hack: Analysis of Production Schemata By Petri Nets. TR-94, Project MAC, MIT, Boston (February 1972). Corrected June 1974.
M. Jantzen and R. Valk: Formal Properties of Place/Transition Nets. Lecture Notes in Computer Science Vol. 84, pp. 165–212.
P.E. Lauer, M.W. Shields and E. Best: Formal Theory of the Basic COSY Notation. TR 143, Computing Laboratory, Univ. of Newcastle upon Tyne (November 1979).
R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science Vol. 92 (1980).
M.W. Shields: Adequate Path Expression. Lecture Notes in Computer Science Vol. 70, pp. 249–265 (1979).
M.W. Shields: On the Non-Sequential Behaviour of Systems Possessing a Generalised Free Choice Property. Internal Report CRS-92-81, Edinburgh University (September 1981). Also to appear in TCS.
M.W. Shields: Non Sequential Behaviour 1. Internal Report CRS-120-82, Edingburgh University (September 1982).
P.S. Thiagarajan and K. Voss: Private Communication.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Best, E., Shields, M.W. (1983). Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets. In: Ausiello, G., Protasi, M. (eds) CAAP'83. CAAP 1983. Lecture Notes in Computer Science, vol 159. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12727-5_7
Download citation
DOI: https://doi.org/10.1007/3-540-12727-5_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12727-7
Online ISBN: 978-3-540-38714-5
eBook Packages: Springer Book Archive