A Petri net synthesis theory for modeling flexible manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 27, Issue 2, 1997, Pages 169-183

  Jeng, Mu Der ^a,b  

^a IEEE   (Taiwan)

^b NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL MODELS; NUMERICAL METHODS;

RESOURCE CONTROL NET; SIPHONS; STATE ENUMERATION; STRUCTURAL LIVELINESS; SYNTHESIS THEORY;

PETRI NETS;

EID: 0031124174     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.558787     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, June 1978, pp. 305-311.
2. G. Berthelot, "Checking properties of nets using transformations," in Advances in Petri Nets 1985 (Lecture Notes in Computer Science 222). Berlin, Germany: Springer-Verlag, 1985, pp. 19-40.
3. _, "Transformations and decompositions of nets," in Advances in Petri Nets 1986 (Lecture Notes in Computer Science 254). Berlin, Germany: Springer-Verlag, 1986, pp. 359-376.
4. J. M. Colom and M. Silva, "Improving the linearly based characterization of P/T nets," in Proc. 10th Int. Conf. Appl. Theory Petri Nets, Bad Godesberg, Germany, June 1989.
5. M. D. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared-resource systems," IEEE Trans. Robot. Automat., vol. 11, no. 3, pp. 317-327, 1995.
6. M. D. Jeng, "Modular synthesis of Petri nets for modeling flexible manufacturing systems," Int. J. Flexible Manufact. Syst., vol. 7, pp. 287-310, July 1995.
7. M. D. Jeng and M. Y. Peng, "Siphons and RCN merged nets," working paper, National Taiwan Ocean Univ., 1996.
8. I. Koh and F. DiCesare, "Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 21, pp. 1512-1522, Nov./Dec. 1991.
9. _, "Checking liveness in Petri nets using synchronic concepts," in Proc. Korean Automatic Control Conf., Oct. 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, Aug. 1986, pp. 661-666.
11. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989.
12. 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.
13. J. L. Peterson, Petri Net Theory and The Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
14. M. Silva and R. Valette, "Petri nets and flexible manufacturing," LNCS: Advances in Petri Nets, pp. 374-417, 1989.
15. 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.
16. R. Valette, "Analysis of Petri nets by stepwise refinement," J. Comput. Syst. Sci., vol. 18, pp. 35-46, 1979.
17. J. F. Watson, III and A. A. Desrochers, "State-space size estimation of conservative Petri nets," in Proc. Int. Conf. IEEE Robotics Automation, May 1992.
18. M. C. Zhou and F. DiCesare, "A hybrid methodology for synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Automat., vol. 8, no. 3, pp. 350-361, 1992.