Skip to main content
SpringerLink
Log in

Superposed Automata Nets

  • Conference paper
Application and Theory of Petri Nets

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 52))

Abstract

The capability of representing in an highly communicable way the concurrency among autonomous subsystems is frequently crucial in real systems modelling, whichever the nature of the system can be.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F.De Cindio,G.De Michelis,L.Pomello,C.Simone Verso un modello dei sistemi di processi autonomi interagenti Atti AICA 81 - Pavia Italy - 1981

    Google Scholar 

  2. K.Jensen Coloured Petri nets and the invariant method DAIMI PB-104 -Comp.Scienee Dept. - Aarhus University - 1979

    Google Scholar 

  3. R.Milner A Calculus for Communicating Systems Lec. Not.Comp.Sc. 92 - 1980

    Google Scholar 

  4. H.J.Genrieh,K.Lautenbach System modelling with high-level Petri nets Theoretical Computer Sc. 13 - 1981

    Google Scholar 

  5. R.Janicki On atomic’ nets and concurrency relations MFCS ‘80 -Lec.Not.Comp.Sc. 88 - 1980

    Google Scholar 

  6. M.Hack Decidability questions for Petri nets TR 161 MIT, Lab.Comp.Sc. - 1976

    Google Scholar 

  7. V.E.Kotov An algebra for parallelism based on Petri nets Lec.Not.Comp.Sc.64 - 1978

    Google Scholar 

  8. R.Valette Analysis of Petri nets by stepwise refinements J.Comp.Sys.Sc.18.1 - 1979

    Google Scholar 

  9. K.Voss Nets as a consistent formal tool for the stepwise design and verification of a distributed system Proc.TC-8 Working Conf. on Evolutionary Info.Sys.- Budapest 1981 - Noth Holland -1981

    Google Scholar 

  10. R.M.Karp,R.E.Miller Parallel program schemata J.Comp.Sys.Sc. 3 - 1969

    Google Scholar 

  11. C.A.R.Hoare Communicating Sequential Processes CACM 21.8 - 1978

    Google Scholar 

  12. F.De Cindio,G.De Michelis,L.Pomello,C.Simone I GCP: simmetria e controllo della terminazione nella comunicazione tra processi Atti AICA 80 - Bologna Italy- 1980

    Google Scholar 

  13. P.Proszynski Petri nets and concurrency-like relations Int.Coll. on Formalization of Progr. Concepts - Peniscola Spain -Lec.Not.Comp.Sc. 107 - 1981

    Google Scholar 

  14. F.De Cindio,G.De Michelis,L.Pomello,C.Simone Superposed Automata nets: an introduction I.C. Internal Report - (to appear) -1981

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Cibernetica, Università di Milano, via Viotti 5, 20133, Milano, Italy

    F. De Cindio, G. De Michelis, L. Pomello & C. Simone

Authors
  1. F. De Cindio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. De Michelis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. L. Pomello
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. C. Simone
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Intitut de Programmation, Université Paris VI, Place Jussieu, F-75230, Paris Cedex 05, France

    Claude Girault

  2. Lehrstuhl für Informatik II, RWTH Aachen, Büchel 29-31, 5100, Aachen, Germany

    Wolfgang Reisig

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

De Cindio, F., De Michelis, G., Pomello, L., Simone, C. (1982). Superposed Automata Nets. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_44

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-68353-4_44

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11189-4

  • Online ISBN: 978-3-642-68353-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation