ERCN-merged nets and their analysis using siphons

IEEE Transactions on Robotics and Automation

Volumn 15, Issue 4, 1999, Pages 692-703

  Xie, Xiaolan ^a,b   Jeng, MuDer ^a,c  

^a IEEE

^b INRIA/MACSI Team   (France)

^c NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; PETRI NETS; REAL TIME SYSTEMS;

EXTENDED RESOURCE CONTROL NETS (ECRN);

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0032655312     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.781975     Document Type: Article

References (18)

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. Munich, Germany: Springer-Verlag, 1985, pp. 19-40.
3. E. R. Boer and T. Murata, "Generating basis siphons and traps of Petri nets using the sign incidence matrix," IEEE Trans. Circuits Syst., vol. 41, pp. 266-271, 1994.
4. G. W. Brams, Reseaux de Petri: Theorie et Pratique. Paris, France: MASSON, 1983.
5. 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, Dec. 1997.
6. 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, Apr. 1995.
7. 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, June 1995.
8. M. D. Jeng and X. L. Xie, "Synthesis of resource control nets using siphons," in Proc. IEEE Int. Conf. Syst. Man Cybern., Orlando, FL, 1997.
9. 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.
10. 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., Zürich, Switzerland, 1986, pp. 661-666.
11. 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.
12. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, 1989.
13. 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.
14. 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.
15. R. Valette, "Analysis of Petri nets by stepwise refinement," J. Comput. Syst. Sci., vol. 18, pp. 35-46, 1979.
16. L. Wang and X. Xie, "Modular modeling using Petri nets," IEEE Trans. Robot. Automat., vol. 12, pp. 800-809, Oct. 1996.
17. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources," IEEE Trans. Robot. Automat., vol. 7, pp. 515-527, Aug. 1991.
18. M. C. Zhou, F. DiCesare, and A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems," IEEE Trans. Robot. Automat., vol. 8, pp. 350-361, June 1992.