Abstract
The general idea of this paper is to build a system in a modular way and to deduce its properties only by analysing its smaller components. Since, in general, composing subnets does not preserve properties (especially liveness) at the level of the global net, the problem is to find constraints on the subnets for establishing such results. We have discovered that in some cases it is sufficient to put structural constraints (instead of constraints on the subnets languages) only on the medium, that is the subnet generated by the elements (places and transitions) shared by the two nets to be composed. Our theoretical study includes as media of communication: places (one way communication), a rendez-vous, a sequential process, and finally a well-formed block.
This work has been done within the context of Demon project (Esprit BRA 3148).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J.P.Allégre and N. Bobichon: "Etude de Réseaux de Petri par Décomposition." Projet de fin d'etude. E.N.S.T. Paris 1986.
C.André: "Use of The Behaviour Equivalence in Place-Transition Net Analysis." IFB 52, Springer (1982).
C. André: "The Behaviour of a Petri Net on a Subset of Transitions." RAIRO Autom. 17, pp 5–21 (1983).
B. Baumgarten: "On Internal and External characterizations of PT-nets Building Block Behaviour." Advances in Petri nets, LNCS 340, pp 44–61, 1988.
C. Berge: "Graphes", Gauthiers-villars, Paris 1983.
G. Berthelot: "Transformations de Réseaux de Petri." T.S.I.,Vol. 4, n. 1,pp 91–101, Paris 1985.
G. Berthelot: "Transformations and Decompositions of Nets.", Advances in Petri Nets, LNCS 254, pp 359–376, 1986.
G.W. BRAMS: "Réseaux de Petri: Theorie et Pratique.", Masson, Paris, 1983.
F.Commoner: "Deadlock in Petri Nets.", Applied Data Research Inc. Wakefiels Mass. CA 7206-2311, 1972.
N. Dagron and G. Memmi: "On the Composition of Live Subnets." FOR ME TOO (BULL), Esprit project 283, Task DMC.ICPP1; march 1987.
P.Fraisse: "Longs Cycles dans les Graphes. Application aux Réseaux de Petri.", thèse de docteur en sciences. Université de Paris-sud. centre d'Orsay. 1986.
M.Hack: "Analysis of Production Schemata by Petri Nets." M.S. thesis, Dept. Electrical Engineering. M.I.T. Cambridge Mass. Project MAC-TR 94, 1972.
K. Jensen: "High Level Petri Nets". Proc. of the third European Workshop on Application and Theory of Petri Nets. Varenne, Italy, June 1982.
G. Memmi: "Fuites et Semi-flots dans les Réseaux de Petri.", thèse de docteur-ingenieur. Paris VI, 1978.
G.Memmi: "Methodes d'Analyse des Réseaux de Petri, Réseaux à Files et Application aux Systèmes Temps Reels.",thèse d'état, Paris VI, 1983.
L.Pomello: "Some Equivalence Notions for Concurrent Systems, An Overview". G.Rozenberg (ed.): Advances in Petri Nets'85, LNCS 222, 1986.
W.Reisig: "Deterministic Buffer Synchronisation of Sequential Processes.", Acta Informatica 18, 1982.
W. Reisig, G. Berthelot and G. Memmi: "A Control Structure for Sequential Processes Synchronized by Buffers.", Proc. of the 4th European Work. on App. and Th. of Petri nets, Toulouse, France 1983.
Y.Souissi and N.Beldiceanu: "Deterministic Systems of Sequential Processes: Theory and Tools.", Concurrency 88, LNCS 335, pp 380–400, Springer-Verlag.
Y. Souissi: "Préservation de Propriétés par Composition de Réseaux de Petri. Extension aux Réseaux à Files et Application aux Protocoles de Communication" Thèse de l'Université de Paris VI. February 1990.
Y. Souissi: "On Liveness Preservation by Composition of Nets via a Set of Places" Proc. of the XIth Int. Conf. on Application and Theory of Petri Nets. Paris, June 1990.
Y. Souissi: "A Modular Approach for the Validation of Communication Protocols Using Fifo Nets". Proc. of the Xth Int. Symposium on Protocol Specification Testing and Verification. Ottawa, 13–15 June 1990.
I.Suzuki and T.Murata: "Stepwise Refinements of Transitions and Places.", IFB52, C.Girault and W.Reisig (ed.), pp136–141, 1982.
R. Valette: "Analysis of Petri nets by Stepwise Refinements." J.C.S.S 18 pp 35–46, 1979.
W.Vogler: "Failures Semantics and Deadlocking of Modular Petri Nets.MFCS 88, LNCS 324.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Souissi, Y., Memmi, G. (1991). Composition of nets via a communication medium. In: Rozenberg, G. (eds) Advances in Petri Nets 1990. ICATPN 1989. Lecture Notes in Computer Science, vol 483. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53863-1_34
Download citation
DOI: https://doi.org/10.1007/3-540-53863-1_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53863-9
Online ISBN: 978-3-540-46369-6
eBook Packages: Springer Book Archive