Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets

  • E. Best
  • M. W. Shields
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 159)


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.


Free Choice Input Place Firing Sequence Path Expression Marked Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [B]
    E. Best: Adequacy Properties of Path Programs. TCS Vol. 18, pp. 149–171 (1982).CrossRefGoogle Scholar
  2. [GS]
    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).Google Scholar
  3. [GT]
    H.J. Genrich and P.S. Thiagarajan: A Theory for Bipolar Synchronisation Schemes. Computer Sc. Dep., Århus University, DAIMI PB-158 (March 1983).Google Scholar
  4. [H]
    M.H.T. Hack: Analysis of Production Schemata By Petri Nets. TR-94, Project MAC, MIT, Boston (February 1972). Corrected June 1974.Google Scholar
  5. [JV]
    M. Jantzen and R. Valk: Formal Properties of Place/Transition Nets. Lecture Notes in Computer Science Vol. 84, pp. 165–212.Google Scholar
  6. [LSB]
    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).Google Scholar
  7. [M]
    R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science Vol. 92 (1980).Google Scholar
  8. [S1]
    M.W. Shields: Adequate Path Expression. Lecture Notes in Computer Science Vol. 70, pp. 249–265 (1979).Google Scholar
  9. [S2]
    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.Google Scholar
  10. [S3]
    M.W. Shields: Non Sequential Behaviour 1. Internal Report CRS-120-82, Edingburgh University (September 1982).Google Scholar
  11. [TV]
    P.S. Thiagarajan and K. Voss: Private Communication.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • E. Best
    • 1
  • M. W. Shields
    • 2
  1. 1.GMD-ISF Schloß BirlinghovenSt. Augustin 1FRG
  2. 2.Dep. of Computer ScienceUniversity of EdinburghEdinburghScotland

Personalised recommendations