Skip to main content
SpringerLink
Log in

A state transformation preorder over a class of EN systems

  • Conference paper
  • First Online:
Book cover Advances in Petri Nets 1990 (ICATPN 1989)

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

Included in the following conference series:

Abstract

The paper introduces a notion of preorder between Elementary Net Systems which is based on the observability of places. This latter allows one to define the notion of Observable Local States whose transformations are the main concern of the proposed preorder, called State Transformation (ST) preorder. ST preorder compares systems with a different level of granularity in local states transformation by requiring an injective morphism between their algebraic structures of observable local states. In addition, it allows one to define in a standard way a notion of ST equivalence. This latter is related to a previous notion, EF equivalence, for which the existence of canonical representatives has been previously proved. Finally, ST preorder and equivalence over a subclass of EN systems (the S-observable systems) are discussed in the framework of system development.

This research has been conducted with the financial support of the Italian Ministero della Pubblica Istruzione

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.

7. References

  1. S. Abramsky, Observation Equivalence as a Testing Equivalence, Theor. Comp. Science 53, pp. 225–241, 1987

    Google Scholar 

  2. G. Berthelot, Checking Properties of Nets Using Transformations, 222, pp. 19–40, 1986.

    Google Scholar 

  3. W. Brauer, W. Reisig, G. Rozenberg (eds.), Petri Nets: Central Models and Their Properties, 254, 1987.

    Google Scholar 

  4. P. Degano, R. De Nicola, U. Montanari, Observational equivalences for concurrency models, in ‘Formal description of Programming Concepts III’ (M.Wirsing ed.), North Holland, 1987.

    Google Scholar 

  5. F. De Cindio, G. De Michelis, C. Simone, GAMERU: a language for the analysis and design of human communication pragmatics, in G. Rozemberg (ed) "Advances in Petri Nets 86'", 266, 1987.

    Google Scholar 

  6. F.De Cindio, G. De Michelis, L. Pomello, C. Simone, Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design, Proc. 5th International Conference on Distributed Computing, IEEE, Denver, 1985.

    Google Scholar 

  7. F. De Cindio, G. De Michelis, L. Pomello, C. Simone, A State Transformation Equivalence for Concurent Systems: Exhibited Functionality Equivalence, in F.H. Yogt (ed) "CONCURRENCY 88", 335, 1988.

    Google Scholar 

  8. H.J. Genrich, E. Stankiewicz-Wiechno, A Dictionary of Some Basic Notations of Net Theory, in W. Brauer (ed) Net Theory and Applications, 84, 1980.

    Google Scholar 

  9. M. Hennessy, Algebraic Theory of Processes, The MIT Press, 1988.

    Google Scholar 

  10. L. Lamport, On Interprocess Communication, Part 1: Basic Formalism, Distributed Computing, Vol. 1, pp. 77–85, 1986.

    Google Scholar 

  11. R. Milner, A Calculus for Communicating Systems,, 92, 1980.

    Google Scholar 

  12. C.A. Petri, Concepts in Net Theory, Mathematical Foundations of Computer Science: Proc. of Symposium and Summer School, High Tatras, sept. 1973, Math. Inst. of the Slovak Acad. of Sciences, pp. 137–146, 1973.

    Google Scholar 

  13. L. Pomello, Some Equivalence Notions for Concurrent Systems: An Overview, in “Advances in Petri Nets 1985” (G. Rozenberg ed.), 222, pp. 381–400, 1986.

    Google Scholar 

  14. L.Pomello, C. Simone, Concurrent Systems as Local State Transformation Algebras: the case of Elementary Net Systems, DSI Internal Report n.77/90, Univ. of Milano, 1990.

    Google Scholar 

  15. P.S. Thiagarajan, Elementary Net Systems, in [Bra87], pp. 26–59, 1987.

    Google Scholar 

  16. R. Valette, Analysis of Petri Nets by Stepwise Refinements, J. of Computer and System Science, vol.18-1, 1979.

    Google Scholar 

  17. K. Voss, Interface as a Basic Concept for Systems Specification and Verification, in “Concurrency and Nets” (eds) K. Voss, H.J. Genrich, G. Rozenberg, Springer Verlag, Berlin, pp.585–604,1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartmento di Scienze dell'Informazione, Universita' degli Studi di Milano, via M. Da Brescia 9, 20133, Milano, Italy

    L. Pomello & C. Simone

Authors
  1. L. Pomello
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Simone
    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

Pomello, L., Simone, C. (1991). A state transformation preorder over a class of EN systems. In: Rozenberg, G. (eds) Advances in Petri Nets 1990. ICATPN 1989. Lecture Notes in Computer Science, vol 483. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53863-1_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-53863-1_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53863-9

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation