[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

A client-server protocol for the composition of Petri nets

  • Full Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1993 (ICATPN 1993)

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

Included in the following conference series:

Abstract

Modelling the behavior of a system as a set of cooperating nets requires to define a high-level communication protocol which takes into account the very nature of their interactions. This paper proposes to adapt the client-server protocol promoted by the object-oriented approach to Petri nets, and to compose Petri nets according to this protocol.This protocol relies upon four basic rules which assert the honesty and discretion of clients and servers. A class of nets respecting these rules, called clientserver nets, is defined, as is the composition of these nets according to a Use function. The possibility to compose client-server nets while preserving the nets' language and liveness is studied. This possibility comes down to very simple relationships between the main characteristics of client-server nets: the demand and the confidence degree as a client, and the supply and the reliability degree as a server. These relationships are preserved by the composition of nets, so the client-server protocol allows for the incremental design of systems and favors the reuse of nets.

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.

Similar content being viewed by others

References

  1. P. Huber, K. Jensen, R. M. Shapiro. Hierarchies in coloured Petri nets. APN 1990, LNCS 483.

    Google Scholar 

  2. B. Meyer. Object-Oriented Software Construction; Prentice Hall, 1988

    Google Scholar 

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

    Google Scholar 

  4. A. Maggiolo-Schetteni, J. Winkowski. A compositional semantics for timed Petri Nets; Fundamente Informaticae XIII, IOS Press, 1990

    Google Scholar 

  5. R. Valette. Analysis of Petri nets by stepwise refinements; Journal of Computer and System Science 18, 3; 1979

    Google Scholar 

  6. C. André. Behaviour of a place-transition net on a subset of transition. Informatik-Fachberichte 52, Springer 1982

    Google Scholar 

  7. F. De Cindio, G. De Michelis, L. Pomello, C. Simone. Superposed automata nets; Informatik-Fachberichte 52, Springer 1982

    Google Scholar 

  8. W. Vogler. Asynchronous communication of Petri nets and the refinement of transitions; Report TUM I9112, Inst. Informatik, Techn. Univ. München, 1991

    Google Scholar 

  9. R. Bastide, C. Sibertin-Blanc. Object-oriented design of parallel systems. 2nd International Workshop on Software Engineering and its Applications; Toulouse (France), Dec. 1989

    Google Scholar 

  10. 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 (F3), Sept. 1991

    Google Scholar 

  11. C. Sibertin-Blanc. Cooperative Objects for the conceptual modelling of organizational information systems. The Object-Oriented Approach in Information Systems, IFIP TC8 Conf.; Quebec, 28–31 Oct. 1991

    Google Scholar 

  12. R. Bastide, P. Palanque. Modelisation de l'interface d'un logiciel de groupe par objets cooperatifs; 3ème journées sur l'ingénierie des IHM, dec 91, Dourdan, France

    Google Scholar 

  13. II. J. Genrich. 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. Sibertin-Blanc. Analysis of Petri nets communicating through a client-server protocol. Technical report of University Toulouse 1, 1992

    Google Scholar 

  15. Y. Souissi, G. Memmi. Composition of nets via a communication medium. 10th International Conference on Applications and Theory of Petri Nets, Bonn, June 1989

    Google Scholar 

  16. R. Van Glabbeek, U. Goltz. Equivalence notions for concurrent systems and refinement of actions; MFCS 89, LNCS 379, 1989

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

Marco Ajmone Marsan

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sibertin-Blanc, C. (1993). A client-server protocol for the composition of Petri nets. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_57

Download citation

  • DOI: https://doi.org/10.1007/3-540-56863-8_57

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56863-6

  • Online ISBN: 978-3-540-47759-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation