Manufacturing modeling using process nets with resources

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 3, Issue , 2000, Pages 2185-2190

  Jeng, MuDer ^a   Xie, Xiaolan ^a   Huang, YiSheng ^a  

^a NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

PROCESS NETS WITH RESOURCES; RESOURCE PLACES; TOP-DOWN METHOD; TRANSITION SUB-NET;

COMPUTATIONAL METHODS; MATHEMATICAL TRANSFORMATIONS; PETRI NETS; SIPHONS; STATE SPACE METHODS; THEOREM PROVING;

AUTOMATION;

EID: 0033685617     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. T. Agerwala and Y. Choed-Amphai, "A synthesis rule for concurrent systems," Proc. 15th Design Automat. Conf.,Las Vegas, pp. 305-311, 1978.
2. G. Berthelot, "Checking properties of nets using transformation," Adv. in Petri nets 1985, G. Rozenberg (ed.), LNCS, Springer-Verlag, pp. 19-40, 1985.
3. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming" IEEE Trans. Robotics 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 Computer Science, 1992.
6. J. Ezpeleta, J. M. Colom and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robotics 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. Robotics Automat., vol. 11, pp. 317-327, 1995.
8. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," IEEE Trans, on Syst., Man, and Cybern., part A, vol. 29, no. 4, pp. 399-406, July 1999.
9. I. Koh and F. DiCesare,"Modular transformation methods for generalized Petri nets and their applications iiYiautomated 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," Proc. 4th IFAC/IFORS Symp. Large Scale Syst., Zurich, Switzerland, pp. 661-666, 1986.
11. K. H. Lee, J. Favrel, and P. Baptiste, "Generalized Petri net reduction method," IEEE Trans. Syst. Man Cybern., vol. 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. Robotics 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, on Robotics and Automat., vol. 15, no. 4, pp. 692-703, August 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. Robotics 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. Robotics 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, on Semicond. Manufact., vol. 11, no. 3, pp. 333-357, Aug. 1998.