Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Distributable nets

  • Conference paper
  • First Online:
Advances in Petri Nets 1991 (ICATPN 1990)

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

Included in the following conference series:

Abstract

Using Petri nets to represent systems, a framework is proposed for formulating the notion of one system being a distributed implementation of another, with a classification of whether an implementation introduces any additional activity and whether it introduces an unbounded amount of communication activity. We give net structure characterisations of those systems for which there is always a distributed implementation within a particular classification; and general constructions for those implementations.

This work was supported by ESPRIT Basic Research project — DEMON 3148.

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, "Structure Theory of Nets: the Free Choice Hiatus", Lecture Notes in Computer Science 254, Springer Verlag (1986).

    Google Scholar 

  2. J. Hall, R. Hopkins, O. Botti, F. DeCindio, "A Petri Net Semantics of Occam", Technical Report, Computing Laboratory, University of Newcastle upon Tyne, (1990).

    Google Scholar 

  3. W. Reisig, "Place/Transition Systems", Lecture Notes in Computer Science 254, Springer Verlag (1986).

    Google Scholar 

  4. V.E. Kotov, "An Algebra for Parallelism based on Petri Nets", in J. Winkowski (ed.) Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 64, Springer Verlag (1978).

    Google Scholar 

  5. R.P. Hopkins and J. Hall, "Towards a Petri Net Programming Notation", Technical Memorandum, ESPRIT BRA 3148 DEMON (1990).

    Google Scholar 

  6. G.N. Buckley and A. Silberschatz, "An Effective Implementation for the Generalised Input-Output Construct of CSP"

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Laboratory, The University of Newcastle upon Tyne, NE1 7RU, Newcastle upon Tyne, U.K.

    R. P. Hopkins

Authors
  1. R. P. Hopkins
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hopkins, R.P. (1991). Distributable nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1991. ICATPN 1990. Lecture Notes in Computer Science, vol 524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019974

Download citation

  • DOI: https://doi.org/10.1007/BFb0019974

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54398-5

  • Online ISBN: 978-3-540-47600-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation