iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/BFb0016205
Petri nets and algebraic calculi of processes | SpringerLink
Skip to main content
Springer Nature Link
Log in

Petri nets and algebraic calculi of processes

  • Conference paper
  • First Online:
Advances in Petri Nets 1985 (APN 1985)

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

Included in the following conference series:

Abstract

We show that, as transition systems, Petri nets may be expressed by terms of a calculus of processes which is a variant of Milner's SCCS. We then prove that the class of labelled nets forms a subcalculus, thus an algebra, with juxtaposition, adding condition and labelling as primitive operations. Finally we introduce rational machines which express explicit synchronizations on 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. C. André, P. Armand & F. Boeri: "Synchronic relations and applications in parallel computations", Digital Process 5 (1979), 99–113

    Google Scholar 

  2. D. Austry, G. Boudol: "Algèbre de processus et synchronisation", Theoret. Comput. Sci. 30 (1984)

    Google Scholar 

  3. G. Boudol: "Notes on algebraic calculi of process", Logics and Models of Concurrent Systems (K. Apt, Ed.), NATO ASI Series, Vol. F13 (Springer, Berlin, 1985) 261–303 (also INRIA Res. Rep. 395)

    Google Scholar 

  4. W. Brauer (editor): "Advanced course on general net theory of processes and systems", Hamburg 1979. Lecture Notes in Comput. Sci. 84 (Springer, Berlin, 1980)

    Google Scholar 

  5. G.W. Brams: "Réseaux de Petri: théorie et pratique", (Masson, Paris, 1983)

    Google Scholar 

  6. R.H. Campbell, P.E. Lauer: "Formal semantics for a class of high-level primitives for coordinating concurrent processes". Acta Informatica 5 (1975), 247–332

    Google Scholar 

  7. S. Eilenberg & M.P. Schutzenberger: "Rational sets in Commutative monoids", Journal of Algebra 13 (1969), 173–191

    Article  Google Scholar 

  8. S. Eilenberg: "Automata, Languages and Machines" Vol.A, Academic Press (1974)

    Google Scholar 

  9. U. Goltz, A. Mycroft: "On the relationship of CCS and Petri Nets", ICALP 84, Lecture Notes in Comput. Sci. 172 (Springer, Berlin, 1984), 196–208

    Google Scholar 

  10. V.E. Kotov: "An algebra for parallelism based on Petri nets", MFCS 79, Lecture Notes in Comput. Sci. 64 (Springer, Berlin, 1979), 39–55

    Google Scholar 

  11. R. Milner: "Flowgraphs and flow algebras", JACM 26 (1979), 794–818

    Article  Google Scholar 

  12. R. Milner: "A calculus of communicating systems", Lecture Notes in Comput. Sci., 92 (Springer, Berlin, 1980)

    Google Scholar 

  13. R. Milner: "On relating synchrony and asynchrony", Tech. Rept. CSR-75-80, Comput. Sci. Dept., Edinburgh Univ. 1980

    Google Scholar 

  14. R. Milner: "Calculi for synchrony and asynchrony", Theoret. Comput. Sci. 25 (1983), 267–310

    Article  Google Scholar 

  15. J.L. Peterson: "Petri nets", Comput. Surveys 9 (1977), 223–252

    Article  Google Scholar 

  16. J.L. Peterson: "Petri net theory and the modeling of systems". Prentice Hall (1981)

    Google Scholar 

  17. G. Rozenberg, R. Verraedt: "Subset languages of Petri nets", Part I, Theoret. Comput. Sci. 26 (1983), 301–326

    Article  Google Scholar 

  18. R. de Simone: "Higher-Level synchronizing devices in Meije-SCCS", INRIA Res. Rep. no 360 (1985). To appear in TCS 40

    Google Scholar 

  19. G. Winskel: "Categories of models for concurrency", Seminar on Concurrency, Lecture Notes in Comput. Sci. 197 (Springer, Berlin, 1985) 246–267

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INRIA, Sophia Antipolis, 06565, Valbonne, France

    Gérard Boudol & Robert de Simone

  2. BULL, Centre de recherches, 68 Route de Versailles, 78430, Louveciennes, France

    Gérard Roucairol

Authors
  1. Gérard Boudol
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gérard Roucairol
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Robert de Simone
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Boudol, G., Roucairol, G., de Simone, R. (1986). Petri nets and algebraic calculi of processes. In: Rozenberg, G. (eds) Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science, vol 222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016205

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16480-7

  • Online ISBN: 978-3-540-39822-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation