An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets

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

Volumn 616 LNCS, Issue , 1992, Pages 263-278

  Kemper, Peter ^a   Bause, Falko ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CHARACTERIZATION; PETRI NETS;

BOUNDEDNESS; FREE-CHOICE NETS; INITIAL MARKING; LIVENESS; NEW RESULTS; POLYNOMIAL-TIME ALGORITHMS;

POLYNOMIAL APPROXIMATION;

EID: 85027188133     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-55676-1_15     Document Type: Conference Paper

References (10)

1. Best,E.: Some Classes of Live and Safe Petri Nets, in K. Voss, H. J.Genrich, G.Rozenberg: “Concurrency and Nets, Advances of Petri Nets”, Springer, Berlin 1987.
2. Esparza.J.: Minimal Deadlocks in Free Choice Nets, Hildesheimer Informatikberichte 1/89, Institut für Informatik, Universität Hildesheim.
3. Esparza,J.: Synthesis Rules for Petri Nets, and How They Lead to New Results, Hildesheimer Informatikberichte 5/90, Institut für Informatik, Universität Hildesheim.
4. Esparza,J.;Silva,M.: A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets, Hildesheimer Informatikberichte 12/90, Institut für Informatik, Universität Hildesheim.
5. Hack.M.H.T.: Analysis of Production Schemata by Petri Nets, TR-94, MIT, Boston 1972 corrected june 1974
6. Jones,N.;Landweber,L.;Lien,Y.: Complexity of some Problems in Petri Nets, Theoretical Computer Science, Vol 4, pp. 277-299, 1977.
7. Lautenbach,K.: Linear Algebraic Calculation of Deadlocks and Traps in K.Voss, H.J.Genrich, G.Rozenberg: “Concurrency and Nets, Advances in Petri Nets”, Springer, Berlin 1987.
8. Mehlhorn,K.: Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness, EATCS Monographs on Theoretical Computer Science, Springer, Berlin Heidelberg 1984.
9. Starke,P.: Analysetechniken von Petri-Netz-Modellen, Teubner, Stuttgart 1990 (in German).
10. Stewart,G.W.: Introduction to Matrix Computations, Academic Press, New York, 1973.