Petri nets for modeling and analysis of manufacturing systems with local operation cycles

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 3, Issue , 1999, Pages

  Jeng, MuDer ^a   Huang, YiSheng ^a  

^a NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

AUGMENTED FREE CHOICE; ELEMENTARY CIRCUIT; LOCAL OPERATION CYCLES;

COMPUTATIONAL COMPLEXITY; INTEGER PROGRAMMING; MANUFACTURING DATA PROCESSING; MATHEMATICAL MODELS;

PETRI NETS;

EID: 0033307755     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. E. Best and P. S. Thiagarajan, "Some classes of live and safe Petri nets," Concurrency and Nets, Voss, Genrich, Rozenberg eds., Springer Verlag, 1987.
2. F. Chu and X. Xie," Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robotics Automat, vol. 13, no. 6, 1997, pp. 793804.
3. 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, no. 2, 1995, pp. 173-184.
4. M. H. T. Hack, Analysis of production schemata by Petri nets, TR-94, MIT, Boston, 1972.
5. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," to appear in IEEE Trans. Systems Man Cybern.
6. T. Murata, "Petri nets: properties, analysis and application", Proc. IEEE, vol. 44, no .4, Apr. 1989, pp. 541-579.
7. I. Suzuki and T. Murata, "A method for stepwise refinement and abstraction of Petri nets," J. Comput. Syst. Sci., vol. 27, 1983, pp. 51-76.
8. X. L. Xie and M. D. Jeng, "ERCN-merged nets and their analysis using siphons", to appear in IEEE Trans. Robotics Automat.