Advertisement

A client-server protocol for the composition of Petri nets

  • C. Sibertin-Blanc
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 691)

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.

Keywords

Service Request Transition Sequence Elementary Server Confidence Degree Reliability Degree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    P. Huber, K. Jensen, R. M. Shapiro. Hierarchies in coloured Petri nets. APN 1990, LNCS 483.Google Scholar
  2. [2]
    B. Meyer. Object-Oriented Software Construction; Prentice Hall, 1988Google Scholar
  3. [3]
    B. Baumgarten. On internal and external characterization of PT-net building bloc behaviour; Advances in Petri Nets 88, LNCS 340Google Scholar
  4. [4]
    A. Maggiolo-Schetteni, J. Winkowski. A compositional semantics for timed Petri Nets; Fundamente Informaticae XIII, IOS Press, 1990Google Scholar
  5. [5]
    R. Valette. Analysis of Petri nets by stepwise refinements; Journal of Computer and System Science 18, 3; 1979Google Scholar
  6. [6]
    C. André. Behaviour of a place-transition net on a subset of transition. Informatik-Fachberichte 52, Springer 1982Google Scholar
  7. [7]
    F. De Cindio, G. De Michelis, L. Pomello, C. Simone. Superposed automata nets; Informatik-Fachberichte 52, Springer 1982Google Scholar
  8. [8]
    W. Vogler. Asynchronous communication of Petri nets and the refinement of transitions; Report TUM I9112, Inst. Informatik, Techn. Univ. München, 1991Google Scholar
  9. [9]
    R. Bastide, C. Sibertin-Blanc. Object-oriented design of parallel systems. 2nd International Workshop on Software Engineering and its Applications; Toulouse (France), Dec. 1989Google Scholar
  10. [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. 1991Google Scholar
  11. [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. 1991Google Scholar
  12. [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, FranceGoogle Scholar
  13. [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, SpringerGoogle Scholar
  14. [14]
    C. Sibertin-Blanc. Analysis of Petri nets communicating through a client-server protocol. Technical report of University Toulouse 1, 1992Google Scholar
  15. [15]
    Y. Souissi, G. Memmi. Composition of nets via a communication medium. 10th International Conference on Applications and Theory of Petri Nets, Bonn, June 1989Google Scholar
  16. [16]
    R. Van Glabbeek, U. Goltz. Equivalence notions for concurrent systems and refinement of actions; MFCS 89, LNCS 379, 1989Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • C. Sibertin-Blanc
    • 1
  1. 1.Université ToulouseToulouse CedexFrance

Personalised recommendations