Liveness in bounded petri nets which are covered by T-invariants

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

Volumn 815 LNCS, Issue , 1994, Pages 358-375

  Lautenbach, Kurt ^a   Ridder, Hanno ^a  

^a UNIVERSITY OF KOBLENZ LANDAU   (Germany)

Author keywords

Deadlocks; Linear invariants; Liveness

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DEADLOCKS; LINEAR INVARIANTS; LIVENESS; NON NEGATIVES; T-INVARIANT;

PETRI NETS;

EID: 84991629351     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58152-9_20     Document Type: Conference Paper

References (12)

1. Bernd Baumgarten. Petri-Netze: Grundlagen und Anwendungen. BI-Wiss.-Verl., Mannheim; Wien; Zfirich, 1990. (in German).
2. J. Campos, G. Chiola, and M. Silva. Properties and performance bounds for closed free choice synchronized monoclass queueing networks. IEEE Transactions on Automatic Control, 36(12), December 1991.
3. Jörg Desel. Regular marked petri nets. To appear in: Graph theoretic Concepts in Computer Science, 1993.
4. Javier Esparza and Manuel Silva. A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science, (102):185-205, 1992.
5. M. Hack. Extended state-machine allocatable nets (esma), an extension of free choice petri net results. Computation Structures Group Memo 78-1, MIT, Project MAC, 1978.
6. M. Jantzen and R. Valk. Formal properties of place/transition nets. Net Theory and Application, LNCS 84:165-212, 1980.
7. W.E. Kluge and K. Lautenbach. The orderly resolution of memory access conflicts among competing channel processes. IEEE Transactions of Computers, C-31(3):194-207, 1982.
8. K. Lautenbach. Exakte bedingungen der lebendigkeit fiir eine klasse yon petrinetzen. Berichte der GMD 82, GMD, Bonn, 1973. (in German).
9. K. Lautenbach. Ein kombinatorischer ansatz zur beschreibung und erreichung von fairness in seheduling-problemen. Applied Computer Science, 8:228-250, 1977. (in German).
10. Kurt Lautenbach. Linear algebraic calculation of deadlocks and traps. In Voss, Genrich, and Rozenberg, editors, Concurrency and Nets, pages 315-336. Springer Verlag, 1987.
11. Wolfgang Reisig. Petri nets. Springer Verlag, 2nd edition, 1991.
12. H. Peter Starke. Analyse yon Petri-Netz-Modellen. Teubner, 1990. (in German).