Abstract
The leakage notion was introduced in [5], and its symetric notion in [4] or [6].The aim of this work is to obtain a general tool in order to analyse liveness and boundedness in Petri nets, independently of the initial marking. Our results submitted striking analogies with other results based upon linear algebra. In this paper, after submitting some notations, we introduce the notion of weak leakage from which we deduce a necessary condition for a Petri net to be live. This condition is independent of the initial marking, implies the two first ones, and like the two first ones’shows a symetric notion.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
F. Commoner: “Deadlocks in Petri nets.” CA-7206–2311 Applied Data Research. Wakefield Mass. June 1972.
M. Hack “Analysis of production schemata by Petri nets.” M.S. Thesis. Dept. Electrical Engineering MAC-TR 94. Project MAC, M.I.T. Cambridge Mas. Sept. 1972.
M. Latteux “Synchronisation de processus”. R.A.I.R.O. Informatique. Vol. 14, N° 2, 1980, p. 103–135.
G Memmi “Fuites et semi-flots dans les réseaux de Pétri”. Thèse de docteur-ingénieur. U. Pierre et Marie Curie - PARIS, Dec. 1978.
G. Memmi: “Fuites et graphes à choix non imposé dans les réseaux de Pétri”. 3ème colloque international sur la programmation - Dunod - Paris - March 1978.
G. Memmi: „Notion de dualité et de symétrie dans les réseaux de Petri“. Proc. of the international symp. on Semantics of concurrent computation. Evian. France, 1979. L.N.C.S. 70 Springer-Verlag 1979, p. 91–108.
C. Ramchandani: “Analysis of asynchronous concurrent systems by timed Petri Nets”. Ph. d. Thesis. Project MAC. MAC-TR-120. Cambridge Mass. February 1974.
J. Sifakis: Structural properties of Petri nets. Proc. of the 7th symposium on M.F.C.S. Zakopane, Poland 1978, L.N.C.S. 64 Springer-Verlag 1978, p. 474–483.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Memmi, G. (1982). Leakage Notion. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive