Skip to main content
Springer Nature Link
Log in

A SMoLCS based kit for defining high-level algebraic Petri nets

  • Contributed Papers
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1992, COMPASS 1992)

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

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. -. High-level Petri Nets. Springer Verlag, 1991.

    Google Scholar 

  2. E. Astesiano, A. Giovini, F. Morando, and G. Reggio. Algebraic specification at work. In Proc. AMAST'91. Springer Verlag, 1992.

    Google Scholar 

  3. E. Astesiano and G. Reggio. SMoLCS-driven concurrent calculi. In Proc. TAP-SOFT'87, Vol. 1, number 249 in L.N.C.S. Springer Verlag, 1987.

    Google Scholar 

  4. E. Astesiano and G. Reggio. A structural approach to the formal modelization and specification of concurrent systems. Technical Report PDISI-92-01, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Italy, 1992.

    Google Scholar 

  5. E. Battiston, F. De Cindio, and G. Mauri. OBJSA nets: a class of high-level nets having objects as domains. In Advances in Petri Nets, number 340 in L.N.C.S. Springer Verlag, 1988.

    Google Scholar 

  6. L. Berardinello and F. De Cindio. A survey of basic net models and modular net classes. In Advances in Petri Nets, L.N.C.S. Springer Verlag, 1992. To appear.

    Google Scholar 

  7. E. Best and M. Koutny. Petri net semantics of priority systems. T.C.S., 96, 1992.

    Google Scholar 

  8. M. Bettaz. An association of algebraic term nets and abstract data types for specifying real communication protocols. In Recent Trends in Data Type Specification, number 534 in L.N.C.S. Springer Verlag, 1991.

    Google Scholar 

  9. M. Bettaz, A. Choutri, and G. Reggio. A life-cycle for parallel and distributed systems based on two models of concurrency. In Proc. of Second Euromicro Workshop for Parallel and Distributed Processing. IEEE Computer Society, 1993. To appear.

    Google Scholar 

  10. M. Bettaz and M. Maouche. How to specify nondeterminism and true concurrency with algebraic term nets. In Recent Trends in Data Type Specification, number 655 in L.N.C.S. Springer-Verlag, 1992.

    Google Scholar 

  11. M. Bettaz and G. Reggio. A SmoLCS based kit for defining the high-level algebraic Petri nets and their semantics. In Preparation, 1993.

    Google Scholar 

  12. J. Billington. Many-sorted high level nets. In Proceedings of the Third International Workshop on Petri Nets and Performance Models, Japan, 1989.

    Google Scholar 

  13. C. Dimitrovici and U. Hummert. Composition of algebraic high-level nets. In Recent Trends in Data Type Specification, number 534 in L.N.C.S. Springer Verlag, 1991.

    Google Scholar 

  14. J. Goguen and J. Meseguer. Models and equality for logic programming. In Proc. TAPSOFT'87, VoL 2, number 250 in L.N.C.S. Springer Verlag, 1987.

    Google Scholar 

  15. J. Meseguer. Rewriting as a unified model of concurrency. TCS, 96, 1992.

    Google Scholar 

  16. W. Reisig. Petri nets and algebraic specifications. TCS, 80, 1991.

    Google Scholar 

  17. J. Vautherin. Parallel system specifications with coloured Petri nets and algebraic data types. In Advances in Petri Nets, number 266 in L.N.C.S. Springer Verlag, 1987.

    Google Scholar 

  18. M. Wirsing. Algebraic specifications. In Handbook of Theoret. Comput. Sci., volume B. Elsevier, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut D'Informatique Universite De Constantine, Algerie

    Mohamed Bettaz

  2. Dipartimento di Informatics e Scienze dell'Informazione, Università di Genova, Italy

    Gianna Reggio

Authors
  1. Mohamed Bettaz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gianna Reggio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hartmut Ehrig Fernando Orejas

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bettaz, M., Reggio, G. (1994). A SMoLCS based kit for defining high-level algebraic Petri nets. In: Ehrig, H., Orejas, F. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1992 1992. Lecture Notes in Computer Science, vol 785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57867-6_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-57867-6_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57867-3

  • Online ISBN: 978-3-540-48361-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics