Skip to main content
SpringerLink
Log in

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

  • Contributed Papers
  • Conference paper
  • First Online:
CAAP'83 (CAAP 1983)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 159))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. Best: Adequacy Properties of Path Programs. TCS Vol. 18, pp. 149–171 (1982).

    Article  Google Scholar 

  2. 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. 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. 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. M. Jantzen and R. Valk: Formal Properties of Place/Transition Nets. Lecture Notes in Computer Science Vol. 84, pp. 165–212.

    Google Scholar 

  6. 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. R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science Vol. 92 (1980).

    Google Scholar 

  8. M.W. Shields: Adequate Path Expression. Lecture Notes in Computer Science Vol. 70, pp. 249–265 (1979).

    Google Scholar 

  9. 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. M.W. Shields: Non Sequential Behaviour 1. Internal Report CRS-120-82, Edingburgh University (September 1982).

    Google Scholar 

  11. P.S. Thiagarajan and K. Voss: Private Communication.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GMD-ISF Schloß Birlinghoven, Postfach 1240, 5205, St. Augustin 1, FRG

    E. Best

  2. Dep. of Computer Science, University of Edinburgh, Mayfield Road, EH9 3JZ, Edinburgh, Scotland

    M. W. Shields

Authors
  1. E. Best
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. W. Shields
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Giorgio Ausiello Marco Protasi

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation