Reachability analysis in T-invariant-less Petri nets

IEEE Transactions on Automatic Control

Volumn 48, Issue 6, 2003, Pages 1019-1024

  Kostin, Alexander E ^a  

^a EASTERN MEDITERRANEAN UNIVERSITY   (Turkey)

Author keywords

Petri nets; Reachability analysis; T invariants

Indexed keywords

ALGORITHMS; GRAPH THEORY; LINEAR ALGEBRA; MATHEMATICAL MODELS; VECTORS;

DISCRETE-EVENT SYSTEMS;

PETRI NETS;

EID: 0037534087     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2003.812788     Document Type: Article

References (14)

1. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
2. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," Discrete Event Dyna. Syst., vol. 7, no. 2, pp. 151-190, Apr. 1997.
3. R. K. Boel, L. Ben-Naoun, and V. van Breusegem, "On forbidden state problems for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 40, pp. 1717-1731, Oct. 1995.
4. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Upper Saddle River, NJ: Prentice-Hall, 1981.
5. K. Schmidt, "Stubborn sets for standard properties," in LNCS. New York: Springer-Verlag, 1999, vol. 1639, pp. 46-65.
6. _, "Stubborn sets for model checking the EF/AG fragment of CTL," Fund. Inform., vol. 43, no. 1-4, pp. 331-341, 2000.
7. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
8. H. Alaiwan and J.-M. Toudic, "Recherche des Semi-flots, des Verrous et des Trappes dans les Reseaux de Petri" (in French), Tech. Sci. Inform., vol. 4, no. 1, pp. 103-112, 1985.
9. J. M. Colom and M. Silva, "Convex geometry and semiflows in P/T nets," in LNCS. New York: Springer-Verlag, 1991, vol. 483, pp. 79-112.
10. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo, "GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets," Perform. Eval., vol. 24, no. 1 & 2, pp. 47-68, 1995.
11. R. German, C. Kelling, A. Zimmerman, and G. Hommel, "TimeNET: A toolkit for evaluating non-Markovian stochastic Petri nets," Perform. Eval., vol. 24, no. 1 & 2, pp. 69-87, 1995.
12. F. Bause and P. Kemper, "QPN-tool for the qualitative and quantitative analysis of queuing Petri nets," in Proc. 7th Int. Conf. Computer Performance Evaluation, Modeling Techniques and Tools, Vienna, Austria, 1994, pp. 321-334.
13. S. Roch and P. H. Starke, INA: Integrated Net Analyzer. Berlin, Germany: Version 2.2, Humboldt-Universitat zu Berlin, 2001.
14. T. Watanabe, "The legal firing sequence problem of Petri nets," IEICE Trans. Inf. Syst., vol E83-D, no. 3, pp. 397-406, Mar. 2000.