A structure causality relation for liveness characterisation in petri nets

Journal of Universal Computer Science

Volumn 12, Issue 2, 2006, Pages 214-232

  Zouari, Beihassen ^a  

^a UNIVERSITY OF TUNIS EL MANAR   (Tunisia)

Author keywords

Deadlock freeness; Liveness; Petri nets; Siphons; Structural analysis

Indexed keywords

EID: 33645219826     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. [Aalst et al., 98] Wil van der Aalst, Ekkart Kindler, and Jorg Desel. "Beyond asymmetric choice: A note on some extensions". Petri Net Newsletter, 55:3-13, October 1998.
2. [Barkaoui and Zouari 03] Barkaoui, K., Zouari, B.: "On the Equivalence, between Liveness and Deadlock Freeness in Petri Nets". 6th International Symposium on Programming and Systems ISPS'03), Alger, may 2003.
3. [Barkaoui et al., 95] K. Barkaoui, J.F. Peyre, "On Liveness and Controlled Siphon Property in Nets", ICATPN, LNCS no 1091, Springer 1996.
4. [Commoner et al., 71] F. Commoner, A.W. Holt, S. Even, and A. Pnueli. "Marked directed graphs". Journal of Computer Systems Science, 5:72-79, 1971.
5. [Desel, 92] J. Desel, "A proof of the rank theorem for extended free choice nets", ICATPN, LNCS no 616, 1992.
6. [Desel et al., 95] J. Dezel and J. Esparza. "Free Choice Petri Nets". Cambridge Tracts in Theoretical Computer Science. Vol 40, 1995.
7. [Esparza et al., 92] J. Esparza, M. Silva, "A Polynomial time algorithm to decide liveness of bounded free-choice nets", TCS, no 102,1992.
8. [Lautenbach et al; 94] K. Lautenbach, H. Ridder, Liveness in bounded Petri nets which are covered by T-invariants",. ICATPN, LNCS no 815, Springer 1994.
9. [Reisig, 91] W.Reisig, "Petri Nets". Springer-Verlag, 2nd edition, 1991.
10. [Recalde et al., 01] L. Recalde, E. Teruel, M. Silva, "Structure Theory of multi-level deterministically synchronised processes", TCS, Vol (254)1; pp 1-33, 2001.
11. [Souissi, 93] Y. Souissi, "Deterministic systems of sequential processes: a class of structured Petri nets", ICATPN, LNCS no 674, Springer Verlag, 1993.
12. [Teruel et al., 96] E. Teruel, M. Silva, "Structure Theory of equal conflict systems", TCS, vol 153)1;pp 271-300, 1996.
13. [Teruel et al., 97] E. Teruel, J.M. Colom, and M. Silva. "Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals". IEEE Trans. On Systems Man and Cybernetics, 27(1): 73-83, 1997.