Structural properties of petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 64 LNCS, Issue , 1978, Pages 474-483

  Sifakis, Joseph ^a  

^a IMAG Institute   (France)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR ALGEBRA;

BOUNDEDNESS; CONNEXITY; GRAPHIC REPRESENTATION; LIVENESS; PATHOLOGICAL SITUATIONS;

PETRI NETS;

EID: 84946284727     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-08921-7_95     Document Type: Conference Paper

References (15)

1. A.W. HOLT, F. COMMONER, “Events and Conditions”, Information system theory project, Applied Data Research Inc.
2. F. COMMONER, A.W. HOLT, S. EVEN, A. PNUELI, “Marked directed graphs”, J. Comp. System Sci., 5 (1971) pp. 511-523.
3. M. HACK, “Analysis of production schemata by Petri nets”, MIT, Project MAC, TR 94 (1972).
4. E. BEST, H.A. SCHMID, “Systems of open paths in Petri nets”, Lecture Notes in Comp. Sci., n ° 32, Sept. 1975, pp. 186-193.
5. K. LAUTENBACH, “Liveness in Petri nets”, G.M.D. Internal report ISF-75-02.1, July 1975, Bonn.
6. Y. EDMUND LIEN, “Termination properties of generalized Petri nets”, SIAM J. COMPUT., Vol. 5, No 2, June 1976, pp 251–265.
7. 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.
8. S. CRESPI REGHIZZI, D. MANDRIOLLI, “Some algebraic properties of Petri nets”, Alta Frequenza, no 2, Vol 65, pp 130–137.
9. C. RAMCHANDANI, “Analysis of asynchronous concurrent systems by timed Petri nets”, PhD Thesis, MIT, Sept. 1973.
10. T. MURATA, R.W. CHURCH, “Analysis of marked graphs and Petri nets by matrix equations”, R.R. N ° M.D.C. 1.1.8, Univ. of Illinois, Nov. 1975.
11. G. MEMMI, “Semi flows and invariants. Applications in Petri nets theory”, Journées sur les réseaux de Petri, March 1977, Paris, pp 145–150.
12. J. SIFAKIS, “Use of Petri nets for performance evaluation” in “Measuring, Modeling and Evaluation Computer Systems”, pp 75–93, North Holland, Publ. Co., 1977.
13. Y.E. LIEN, “A note on transition systems”, Information Sciences 10, pp 347–362 (1976).
14. G.B. DANTZIG, “Linear programming and extensions”, Princeton Univ. Press, 1963.
15. M. HACK, “Decision Problems for Petri nets and vector addition systems” MAC Techn. Mem. 59, M.I.T., March 1975.