On liveness and controlled siphons in Petri nets

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

Volumn 1091, Issue , 1996, Pages 57-72

  Barkaoui, Kamel ^a   Pradat Peyre, Jean François ^a  

^a Bioinformatique et Chimie Moléculaire   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FLOW GRAPHS; GRAPH THEORY; GRAPHIC METHODS; PETRI NETS; SIPHONS;

FLOW RELATIONS; GRAPH THEORETICAL CHARACTERIZATION; GRAPH-BASED TECHNIQUES; LINEAR-ALGEBRAIC; LOCAL SYNCHRONIZATIONS; NON-LIVENESS; STRUCTURAL CONDITION; STRUCTURE THEORY;

STRUCTURAL PROPERTIES;

EID: 23844544249     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_4     Document Type: Conference Paper

References (14)

1. K. Barkaoui, J.M Couvreur, and C. Duteilhet. On liveness in extended non selfcontrolling nets in application and theory of Petri nets. LNCS, 935, 1995.
2. th ICATPN, 1989.
3. K. Barkaoui and M. Minoux. A polynomial time graph algorithm to decide liveness of some basic classes of bounded Petri nets. LNCS, No. 616:62-75, 1992.
4. E. Best. Structure theory of Petri nets: The free choice hiatus. In G.Rozenberg W.Brauer, W.Resig, editor, LNCS, volume No. 255. Springer-Verlag, 1986.
5. G.W. BRAMS. Réseaux de Petri: Theorie et pratique. Masson, 1983.
6. J. Desel. A proof of the rank theorem for extended free choice nets. LNCS, No. 616:134-153, 1992.
7. F. Dicesare, G. Harhalakis, J.M. Proth, M. Silva, and F.B. Vernadat. Practice of Petri Nets in Manufacturing. Chapman-Hall, 1995.
8. J. Esparza and M. Silva. A polynomial-time algorithm to decide liveness of bounded free-choice nets. T.C.S, N 102:185-205, 1992.
9. M.H.T. Hack. Analysis of production schemata by Petri nets. In Cambridge, Mass.: MIT, MS Thesis, 1974.
10. M. Jantzen and R. Valk. Formal properties of P/T nets. LNCS, No. 84, 1981.
11. P. Kemper and F. Bause. An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets. LNCS, No. 616:263-278, 1992.
12. W. Reisig. EATCS-An Introduction to Petri Nets. Springer-Verlag, 1983.
13. H. Ridder and K. Lautenbach. Liveness in bounded Petri nets which are covered by t-invariants. LNCS, No. 815:358-375, 1994.
14. M. Zhou and F. DiCesare. Petri nets Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic, 1993.