Deadlock analysis of Petri nets using siphons and mathematical programming

IEEE Transactions on Robotics and Automation

Volumn 13, Issue 6, 1997, Pages 793-804

  Chu, Feng ^b   Xie, Xiao Lan ^a,b  

^a IEEE

^b INRIA   (France)

Author keywords

Deadlock analysis; Manufacturing systems; Mathematical programming; Petri nets; Siphons

Indexed keywords

ALGEBRA; ASYMPTOTIC STABILITY; CALCULATIONS; INTEGER PROGRAMMING; LINEAR PROGRAMMING; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SYSTEMS ANALYSIS;

COMPUTATIONAL EFFICIENCY; DEADLOCK ANALYSIS; MIXED INTEGER PROGRAMMING; SIPHON;

PETRI NETS;

EID: 0031362845     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.650158     Document Type: Article

References (23)

1. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat., vol. 6, pp. 724-734, 1990.
2. K. Barkaoui and I. Ben Abdallah, "An efficient avoidance control policy in FMS using structural analysis of Petri nets," in Proc. IEEE SMC Conf., San Antonio, TX, 1994.
3. K. Barkaoui, J. M. Couvreur, and C. Dutheillet, "On the liveness in extended non self-controlling nets," in Advances in Petri Nets 1995. New York: Springer-Verlag, 1995.
4. G. W. Brams, Réseaux de Petri: Théorie et Pratique, Masson, France, 1983.
5. G. Berthlot, "Checking properties of nets using transformation," in Advances in Petri Nets 1985. New York: Springer-Verlag, 1985.
6. J. Campos, G. Chiola, and M. Silva, "Ergodicity and throughput bounds of Petri nets with unique consistent firing count vector," IEEE Trans. Software Eng., vol. 17, pp. 117-125, 1991.
7. J. M. Colom and M. Silva, "Improving the linearly based characterization of P/T nets," in Advances in Petri Nets 1990. New York: Springer-Verlag, 1991.
8. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, 1995.
9. M. D. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared-resource systems," IEEE Trans. Robot. Automat., vol. 11, pp. 317-327, 1995.
10. B. H. Krogh and C. L. Beck, "Synthesis of place/transition nets for simulation and control of manufacturing systems," in Proc. IFIP Symp. Large Scale Syst., Zurich, 1986.
11. K. Lautenbach and H. Ridder, "Liveness in bounded Petri nets which are covered by T-invariants," in Advances in Petri Nets 1994. New York: Springer-Verlag, 1994.
12. K. H. Lee and J. Favrel, "Hierarchical reduction method for analysis and decomposition of Petri nets," IEEE Trans. Syst., Man, and Cybern., vol. SMC-15, pp. 272-281, 1985.
13. M. Minoux, Programmation Mathématique: Théorie et Algorithme, Dunod, Paris, France, 1983.
14. T. Murata, "Petri nets: Properties, analysis and applications," in Proceedings of IEEE, 1989, vol. 77, pp. 541-580.
15. R. T. Rockafellar, Convex Analysis, Princeton, NJ: Princeton University Press, 1972.
16. M. Silva and J. M. Colom, "On the computation of structural synchronic invariants in P/T nets," in Advances in Petri Nets 1988. New York: Springer-Verlag, 1989.
17. I. Suzuki and T. Murata, "A method for stepwise refinement and abstraction of Petri nets," J. Comput. Syst. Sci., vol. 27, pp. 51-76, 1983.
18. E. Teruel, J. M. Colom, and M. Silva, "Linear analysis of deadlock-freeness of Petri net models," in Proc. 2nd European Contr. Conf., Groningen, The Netherlands, 1993.
19. R. Valette, "Analysis of Petri nets by stepwise refinements," J. Comput. Syst. Sci., vol. 18, pp. 35-46, 1979.
20. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Automat., vol. 6, pp. 713-723, 1990.
21. L.-M. Wang and X.-L. Xie, "Modular modeling using Petri nets," IEEE Trans. Robot. Automat., vol. 12, pp. 800-809, 1996.
22. M. C. Zhou and F. Dicesare, "Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources," IEEE Trans. Robot. Automat., vol. 7, pp. 515-527, 1991.
23. M. C. Zhou, F. Dicesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Automat., vol. 8, pp. 350-361, 1992.