Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 1990: Advances in Petri Nets 1991 pp 58–77Cite as

Use of reentrant nets in modular analysis of colored nets

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((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.

This work is part of BULL's contribution to DEMON (ESPRIT BRA 3148)

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. G.W. Brams: Réseaux de Petri: théorie et pratique. Masson, vol 1 and 2, Paris 1982 and 1983.

    Google Scholar 

  5. C.A.R. Hoare: Communicating Sequential Processes. Prentice Hall International, 1985.

    Google Scholar 

  6. 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. 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. 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. R. Milner: A Calculus for Communicating Systems. LNCS 92, Springer Verlag, 1980.

    Google Scholar 

  10. 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. 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–236

    Google Scholar 

  12. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. BULL Corporate Research Center, Bldg F3.2G.28 Rue Jean Jaurès, 78340, Les Clayes-Sous-Bois, France

    Ghassan Chehaibar

  2. Laboratory MASI, University Paris 6, Tower 65 4 Place Jussieu, 75252, Paris Cedex 05, France

    Ghassan Chehaibar

Authors
  1. Ghassan Chehaibar
    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

Chehaibar, G. (1991). Use of reentrant nets in modular analysis of colored nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1991. ICATPN 1990. Lecture Notes in Computer Science, vol 524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019969

Download citation

  • DOI: https://doi.org/10.1007/BFb0019969

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54398-5

  • Online ISBN: 978-3-540-47600-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation