Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 1994: Application and Theory of Petri Nets 1994 pp 471–490Cite as

Cooperative Nets

  • Full Papers
  • Conference paper
  • First Online:

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

Abstract

The behavior of some kinds of systems features a high rate of dynamic evolution. The system running causes the introduction of new components whereas some others disappear, and links between components are dynamically set: a component sometimes interacts with given components and sometimes with others. It is uneasy to capture such evolution inside Petri nets whose structure is fixed; but it is necessary to respect the Petri net semantics and keep the possibility to apply the structural analysis technics.

The paper introduces two extensions of Petri nets dealing with this problem, Communicative Nets and Cooperative Nets. They enable to model a system as a collection of nets which encapsulate their behavior, while interacting by means of message sending or a client/server protocol; a net may instantiate another net, and the links between nets are dynamic. An algorithm is given which captures this dynamicity by building a single fixed net whose behavior is equivalent to a whole system.

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. G. AGHA An overview of Actor Languages. SIGPLAN Notices, Vo 21, n∘10, October 1986.

    Google Scholar 

  2. H. BACHATENE, J-M. COUVREUR A reference Model for Modular-Colored Petri Nets; Proceedings of the IEEE Intern. Conf. on Systems, Man and Cybernetics, session on Petri Nets and the O-O Approach, Le Touquet France, October 1993.

    Google Scholar 

  3. R. BASTIDE, C. SIBERTIN-BLANC. Modelling flexible manufacturing systems by means of Cooperative Objects. Computer Applications in Production and Engineering CAPE 91, IFIP (G. Doumeingts, J. Browne, M. Tomjanovich Editors, North-Holland); Bordeaux (F), Sept. 1991

    Google Scholar 

  4. R. BASTIDE Cooperative Objects: a formalism for modelling concurrent systems. Thesis of the University Toulouse III, February 1992. (in french).

    Google Scholar 

  5. E. BATTISTON, F. DE CINDIO, G. MAURI. OBJSA net: a class of high-level nets having objects as domains. ATPN 87, LNCS 340, 1988.

    Google Scholar 

  6. B. BAUMGARTEN On internal and external characterization of PT-net building bloc behaviour; Advances in Petri Nets 88, LNCS 340.

    Google Scholar 

  7. G. BRUNO, M. BALSAMO Petri Net based object-oriented modelling of distributed systems. Proceedings OOPSALA' 86, Sept. 1986.

    Google Scholar 

  8. D. BUCHS, N. GERFI. C0-OPN: a concurrent object oriented approach. ATPN91, LNCS 524, 1991.

    Google Scholar 

  9. D. De CHAMPEAUX Object-Oriented analysis and Top-Down software development ECOOP'91, LNCS 512, Springer-Verlag, 1991.

    Google Scholar 

  10. R. DI GIOVANNI HOOD Nets; ATPN 91, LNCS 524, 1991.

    Google Scholar 

  11. H. EHRIG, B. MAHR Fundamentals of algebraic specification. Springer Verlag, 1985.

    Google Scholar 

  12. C. A. ELLIS, G. J. NUTT Modeling and Enactment of Workflow Systems. ATPN'93 Chicago (Il.), LNCS 691, 1993.

    Google Scholar 

  13. GENRICH H. J. Predicate/Transition Nets; in Petri Nets: Applications and relationships to other models of concurrency (W. Brauer, W. Reisig, G. Rosenberg editor), LNCS 254, Springer

    Google Scholar 

  14. C.A. HEUSER, E. MEIRA PERES. ER-T Diagrams: An approach to specifying database Transactions. 8th Conf. on Entity-Relationship Approach, 1991.

    Google Scholar 

  15. HUBER P., JENSEN K., SHAPIRO R. M. Hierarchies in Coloured Petri nets. APN 1990, LNCS 483, Springer.

    Google Scholar 

  16. B. MEYER Object-Oriented Sogtware Construction, seceond ed. Prentice-Hall, 1993.

    Google Scholar 

  17. P. PALANQUE, R. BASTIDE, L. DOURTE, C. SIBERTIN-BLANC Design of User-Driven Interfaces Using Petri Nets and Objects. Proc. CAISE'93, Conf. on Advanced Information System Engineering, LNCS 685, Paris (F), June 1993.

    Google Scholar 

  18. J. RUMBAUGH, M.BLAHA, W. PREMERLANI, F. EDDY, W. LORENSEN Object-Oriented Modeling and Design Prentice-Hall, 1991.

    Google Scholar 

  19. C. SIBERTIN-BLANC High level Petri nets with data structure. 6th European workshop on Theory and applications of Petri Nets. Espoo (Finland) june 1985.

    Google Scholar 

  20. C. SIBERTIN-BLANC Cooperative Objects for the conceptual modelling of organizational Information Systems. The Object-Oriented approach in Information Systems. Quebec 28–31 October 1991. Elsevier Science Publisher B.V. © IFIP.

    Google Scholar 

  21. C. SIBERTIN-BLANC A functional semantics of Petri Nets with Objects. CERISS Internal report, dec. 1992.

    Google Scholar 

  22. C. SIBERTIN-BLANC A client-server protocol for the Composition of Petri Nets. ATPN'93, LNCS 691, Springer-Verlag, 1993.

    Google Scholar 

  23. M. SONNENSCHEIN An Introduction to GINA. Proceedings of the IEEE Intern. Conf. on Systems, Man and Cybernetics, session on Petri Nets and the O-O Approach, Le Touquet (F), October 1993.

    Google Scholar 

  24. Y. SOUISSI On Liveness Preservation by composition of Nets via a set of places; 11th nternational Conference on applications and theory of Petri Nets, Paris, June 90.

    Google Scholar 

  25. R. VALETTE, M. PALUDETTO, B. P. LABREUILLE, P. FARAIL Object-Oriented approach HOOD and Petri nets for real time system design. Proc. Intern. Conf. Software Engineering & its Applications, Toulouse (F), Dec. 1988.

    Google Scholar 

  26. R. VALK Nets in Computer Organization. in Petri nets: Applications and relationships to other models of concurrency. W. Brauer, W. Reisig, G. Rosenberg editor, LNCS 255, Springer Verlag 19986.

    Google Scholar 

  27. K.M. VAN HEE, P.A.C. VERKOULEN Integration of a Data Model and High-Level Petri Nets. ATPN 91, LNCS 524, 1991.

    Google Scholar 

  28. J. VAUTHERIN Parallel system specification with coloured Petri Nets and algebraic specification. APN 87, LNCS 266.

    Google Scholar 

  29. W. VOGLER Modular Construction and Partial Order Semantics of Petri Nets; Report Techn. Univ. München, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CERISS-IRIT, Université Toulouse 1, Place A. France, 31042, Toulouse Cedex, France

    C. Sibertin-Blanc

Authors
  1. C. Sibertin-Blanc
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert Valette

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sibertin-Blanc, C. (1994). Cooperative Nets. In: Valette, R. (eds) Application and Theory of Petri Nets 1994. ICATPN 1994. Lecture Notes in Computer Science, vol 815. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58152-9_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-58152-9_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48462-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation