Analysis of modularly composed nets by siphons

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 29, Issue 4, 1999, Pages 399-406

  Jeng, MuDer ^a   Xie, Xiaolan ^b  

^a NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

^b UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; INTEGER PROGRAMMING; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; SIPHONS;

RESOURCE CONTROL NETS;

SYSTEMS ANALYSIS;

EID: 0032671278     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.769759     Document Type: Article

References (15)

1. T. Agerwala and Y. Choed-Amphai, "A synthesis rule for concurrent systems," in Proc. 15th Design Automat. Conf., Las Vegas, NV, 1978, pp. 305-311.
2. G. Berthelot, "Checking properties of nets using transformation," Advances In Petri Nets 1985, G. Rozenberg, Ed. Berlin, Germany: Springer-Verlag, 1985, pp. 19-40.
3. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Automat., vol. 13, pp. 793-804, 1997.
4. 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.
5. 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.
6. M. D. Jeng, "Petri nets for modeling automated manufacturing systems with error recovery," IEEE Trans. Robot. Automat., vol. 13, pp. 752-760, 1997.
7. I. Koh and F. DiCesare, "Modular transformation methods for generalized Petri nets and their applications in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 21, pp. 963-973, 1991.
8. B. H. Krogh and C. L. Beck, "Synthesis of place/transition nets for simulation and control of manufacturing systems," in Proc. 4th IFAC/IFORS Symp. Large Scale Syst., Zurich, Switzerland, 1986, pp. 661-666.
9. K. H. Lee, J. Favrel, and P. Baptiste, "Generalized Petri net reduction method," IEEE Trans. Syst., Man, Cybern., vol. SMC-17, pp. 297-303, 1987.
10. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, 1989.
11. Y. Narahari and N. Viswanadham, "A Petri net approach to the modeling and analysis of flexible manufacturing systems," Ann. Oper. Res., vol. 3, pp. 449-472, 1985.
12. I. Suzuki and T. Murata, "A method for step wise refinement and abstraction of Petri nets," J. Comput. Syst. Sci., vol. 27, pp. 51-76, 1983.
13. R. Valette, "Analysis of Petri nets by stepwise refinement," J. Comput. Syst. Sci., vol. 18, pp. 35-46, 1979.
14. L. Wang and X. Xie, "Modular modeling using Petri nets," IEEE Trans. Robot. Automat., vol. 12, pp. 800-809, 1996.
15. M. C. Zhou, K. McDermott, and P. A. Patel, "Petri net synthesis and analysis of a flexible manufacturing system cell," IEEE Trans. Syst., Man, Cybern., vol. 23, pp. 523-531, 1993.