Process nets with resources for manufacturing modeling and their analysis

IEEE Transactions on Robotics and Automation

Volumn 18, Issue 6, 2002, Pages 875-889

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

^a NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

^b UNIVERSITÉ DE LORRAINE   (France)

^c HANNSTAR DISPLAY CORPORATION   (Taiwan)

Author keywords

Deadlocks; Liveness; Reversibility; Shared resource systems; Siphons and traps

Indexed keywords

DECISION THEORY; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; RESOURCE ALLOCATION; STATE SPACE METHODS; THEOREM PROVING;

DEADLOCKS; LIVENESS; PROCESS NETS WITH RESOURCES; REVERSIBILITY; SHARED-RESOURCE SYSTEMS;

MANUFACTURE;

EID: 0036968751     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/TRA.2002.805655     Document Type: Article

References (24)

1. T. Agerwala and Y. Choed-Amphai. "A synthesis rule for concurrent systems," in Proc. 15th Design Automation Conf., Las Vegas, NV, 1978, pp. 305-311.
2. G. Berthelot, "Checking properties of nets using transformation," in Advances in Petri Nets 1985 LNCS, G. Rozenberg, Ed. New York: Springer-Verlag, 1985, 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. 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.
5. J. Esparza and M. Silva, "A ploynomial-time algorithm to decide liveness of bounded free choice nets," Theoretical Comput. Sci., vol. 102, pp. 185-205, 1992.
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, 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, 1995.
8. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," IEEE Trans. Syst., Man, Cybern. A, vol. 29, pp. 399-406, July 1999.
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 Systems, Zurich, 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," Annals 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, 1996.
17. X. L. Xie and M. D. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Automat., vol. 15, pp. 692-703, Aug. 1999.
18. 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, 1991.
19. 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, 1992.
20. M. C. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach," IEEE Trans. Semiconduct. Manufact., vol. 11, pp. 333-357, Aug. 1998.
21. E. Pastor, O. Roig, J. Cortadella, and R. M. Badia, "Petri net analysis using boolean manipulation," in Proc. 15th Int. Conf. Applied Theory Petri Nets, Zaragoza, Spain, June 1994, pp. 416-435.
22. A. Valmaris, "The state explosion problem," in Lectures in Petri Nets I: Basic Models LNCS 1491. New York: Springer-Verlag, 1998.
23. K. L. McMillan, "A technique of state space search based on unfolding," Formal Methods Syst. Des., vol. 6, no. 1, pp. 45-65, 1995.
24. A. Taubin, A. Kondratyev, M. Kishinevsky, and S. Ten, "Deadlock prevention using Petri net unfolding," in Proc. CESA'96, Lille, France, 1996, pp. 426-431.