A state transformation preorder over a class of EN systems

  • L. Pomello
  • C. Simone
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 483)


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.


behaviour of systems equivalence morphisms observability of states 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. [Abr87]
    S. Abramsky, Observation Equivalence as a Testing Equivalence, Theor. Comp. Science 53, pp. 225–241, 1987Google Scholar
  2. [Ber86]
    G. Berthelot, Checking Properties of Nets Using Transformations, 222, pp. 19–40, 1986.Google Scholar
  3. [Bra87]
    W. Brauer, W. Reisig, G. Rozenberg (eds.), Petri Nets: Central Models and Their Properties, 254, 1987.Google Scholar
  4. [DDM87]
    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. [DDS87]
    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. [DDPS85]
    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. [DDPS88]
    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. [GS80]
    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. [Hen88]
    M. Hennessy, Algebraic Theory of Processes, The MIT Press, 1988.Google Scholar
  10. [Lam86]
    L. Lamport, On Interprocess Communication, Part 1: Basic Formalism, Distributed Computing, Vol. 1, pp. 77–85, 1986.Google Scholar
  11. [Mil80]
    R. Milner, A Calculus for Communicating Systems,, 92, 1980.Google Scholar
  12. [Pet73]
    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. [Pom86]
    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. [PS90]
    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. [Thi87]
    P.S. Thiagarajan, Elementary Net Systems, in [Bra87], pp. 26–59, 1987.Google Scholar
  16. [Val79]
    R. Valette, Analysis of Petri Nets by Stepwise Refinements, J. of Computer and System Science, vol.18-1, 1979.Google Scholar
  17. [Voss87]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • L. Pomello
    • 1
  • C. Simone
    • 1
  1. 1.Dipartmento di Scienze dell'InformazioneUniversita' degli Studi di MilanoMilanoItaly

Personalised recommendations