Abstract
Several necessary conditions for structural liveness and a necessary and sufficient condition for structural boundedness are given. These conditions can be verified by using techniques of linear algebra and could be used for proving liveness and boundedness depending on a given marking. Structural boundedness and liveness are related to the existence of deadlocks traps absorbers and generators of a special type in a PN. A necessary condition for a PN to be structurally bounded and live is that it be both invariant and consistent. Thus invariance and consistency, which imply also the strong connexity of the graphic representation, are necessary conditions for evitating pathological situations such as structural unboundedness and structural unliveness.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A.W. HOLT, F. COMMONER, "Events and Conditions", Information system theory project, Applied Data Research Inc.
F. COMMONER, A.W. HOLT, S. EVEN, A. PNUELI, "Marked directed graphs", J. Comp. System Sci., 5 (1971) pp. 511–523.
M. HACK, "Analysis of production schemata by Petri nets", MIT, Project MAC, TR 94 (1972).
E. BEST, H.A. SCHMID, "Systems of open paths in Petri nets", Lecture Notes in Comp. Sci., no 32, Sept. 1975, pp. 186–193.
K. LAUTENBACH, "Liveness in Petri nets", G.M.D. Internal report ISF-75-02.1, July 1975, Bonn.
Y. EDMUND LIEN, "Termination properties of generalized Petri nets", SIAM J. COMPUT., Vol. 5, No 2, June 1976, pp 251–265.
K. LAUTENBACH, H.A. SCHMID, "Use of Petri nets for proving correctness of concurrent process systems", IFIP 1974, North Holland Publ. Co., 1974, pp 187–191.
S. CRESPI REGHIZZI, D. MANDRIOLLI, "Some algebraic properties of Petri nets", Alta Frequenza, no 2, Vol XLV, pp 130–137.
C. RAMCHANDANI, "Analysis of asynchronous concurrent systems by timed Petri nets", PhD Thesis, MIT, Sept. 1973.
T. MURATA, R.W. CHURCH, "Analysis of marked graphs and Petri nets by matrix equations", R.R. No M.D.C. 1.1.8, Univ. of Illinois, Nov. 1975.
G. MEMMI, "Semiflows and invariants. Applications in Petri nets theory", Journées sur les réseaux de Petri, March 1977, Paris, pp 145–150.
J. SIFAKIS, "Use of Petri nets for performance evaluation" in "Measuring, Modeling and Evaluation Computer Systems", pp 75–93, North Holland, Publ. Co., 1977.
Y.E. LIEN, "A note on transition systems", Information Sciences 10, pp 347–362 (1976).
G.B. DANTZIG, "Linear programming and extensions", Princeton Univ. Press, 1963.
M. HACK, "Decision Problems for Petri nets and vector addition systems" MAC Techn. Mem. 59, M.I.T., March 1975.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sifakis, J. (1978). Structural properties of petri nets. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_95
Download citation
DOI: https://doi.org/10.1007/3-540-08921-7_95
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08921-6
Online ISBN: 978-3-540-35757-5
eBook Packages: Springer Book Archive