Advertisement

Use of reentrant nets in modular analysis of colored nets

  • Ghassan Chehaibar
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 524)

Abstract

This paper deals with the properties of modular constructs such as replacement and composition for a restricted net class called reentrant nets. A reentrant net has a distinguished place subset (interface) and satisfies some behavioral properties like the existence of home spaces. A notion of interface equivalence (I-eq) is defined over this class. Then a new equivalence notion is defined, observational home equivalence (OH-eq), which is a bisimulational relation analogous to the observational one labelling places and transitions, but different from previous notions in that we only consider sequences yielding markings in a given home space. A replacement theorem is established: if we replace a reentrant subnet whose border is formed by its interface places with another I-equivalent reentrant net, the resulting net is OH-eq to the original one. Finally, we define composition operations on reentrant nets, which allow a hierarchical and modular design of reentrant nets and cyclic protocols: choice, sequential and ring composition. All these notions are defined for colored nets.

Keywords

Colored Petri Nets Modular Analysis Reentrant Net Observational Home Equivalence Replacement Composition 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [André 82]
    C.André: Use of the Behavior Equivalence in Place-Transition Net Analysis. Applications and Theory of Petri Nets, Informatik-Fachberichte 52, C.Girault and W.Reisig editors, Springer Verlag, 1982, pp 241–250.Google Scholar
  2. [Baumgarten 88]
    B. Baumgarten: On Internal and External Characterizations of PT-nets Building Block Behavior. Advances in Petri Nets 87, LNCS 340, Springer Verlag, 1988, pp 44–61.Google Scholar
  3. [Bourguet-Rouger 88]
    A. Bourguet-Rouger: External Behavior Equivalence between two Petri Nets. Concurrency 88, LNCS 335, F.A. Vogt editor, Springer Verlag, 1988, pp 237–256.Google Scholar
  4. [Brams 83]
    G.W. Brams: Réseaux de Petri: théorie et pratique. Masson, vol 1 and 2, Paris 1982 and 1983.Google Scholar
  5. [Hoare 85]
    C.A.R. Hoare: Communicating Sequential Processes. Prentice Hall International, 1985.Google Scholar
  6. [Kotov 78]
    V. E. Kotov: An Algebra for Parallelism Based on Petri Nets. Proc. of MFCS 78, LNCS 64, Springer Verlag, 1978, pp 39–55.Google Scholar
  7. [Lausen 88]
    G. Lausen: Modelling and Analysis of the Behavior of Information Systems. IEEE Transactions on Software Engineering, Vol. 14, No 11, November 1988, pp 1610–1620.Google Scholar
  8. [Memmi&Vautherin 87]
    G. Memmi and J. Vautherin: Analysing Nets by the Invariant Method. Petri Nets: Central Models and their Properties, LNCS 254, W.Brauer W.Reisig G.Rozenberg editors, Springer Verlag 1987, pp 300–337.Google Scholar
  9. [Milner 80]
    R. Milner: A Calculus for Communicating Systems. LNCS 92, Springer Verlag, 1980.Google Scholar
  10. [Pomello 86]
    L. Pomello: Some Equivalence Notions for Concurrent Systems: an Overview. Advances in Petri Nets 85, LNCS 222, G.Rozenberg editor, Springer Verlag, 1986, pp 381–400.Google Scholar
  11. [DDPS 88]
    F. De Cindio, G. De Michelis, L. Pomello, C. Simone: A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-Equivalence. Concurrency 88, LNCS 335, F.A.Vogt editor, Springer Verlag, 1988, pp 222–236Google Scholar
  12. [Pomello&Simone 89]
    L. Pomello and C. Simone: A State Transformation Preorder Over a Class of EN-Systems. Tenth International Conference on Application and Theory of Petri Nets, Bonn, June 1989.Google Scholar
  13. [Souissi&Memmi 89]
    Y. Souissi and G. Memmi: Composition of Nets via a Communication Medium. Tenth International Conference on Application and Theory of Petri Nets, Bonn, June 1989.Google Scholar
  14. [Voss 87]
    K. Voss: Interface as a Basic Concept for System Specification and Verification. Concurrency and Nets, K.Voss, H.Genrich, G.Rozenberg editors, Springer Verlag 1987, pp 585–604.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Ghassan Chehaibar
    • 1
    • 2
  1. 1.BULL Corporate Research CenterLes Clayes-Sous-BoisFrance
  2. 2.Laboratory MASIUniversity Paris 6Paris Cedex 05France

Personalised recommendations