A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers

Author： Zha X. F. Li L. L. Zhang W. J.

Publisher： Taylor & Francis Ltd

ISSN： 1362-3052

Source： International Journal of Computer Integrated Manufacturing, Vol.15, Iss.3, 2002-03, pp. : 242-264

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Separation model design of manufacturing systems using the distributed agent-oriented Petri net

By Kuo Chung-Hsien Huang Han-Pang Jeng Muder Jeng Li-Der

International Journal of Computer Integrated Manufacturing, Vol. 18, Iss. 2-3, 2005-03 ,pp. : 146-157

Taylor & Francis Ltd

Access to resources Recommend Favorite

Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks

By Basile Francesco Chiacchio Pasquale Vittorini Valeria Mazzocca Nicola

Journal of Intelligent Manufacturing, Vol. 15, Iss. 3, 2004-06 ,pp. : 351-371

Springer Publishing Company

Access to resources Recommend Favorite

A Petri-net and entity-relationship diagram based object-oriented design method for manufacturing systems control

By Chen Kai-Ying Lu Shui-Shong

International Journal of Computer Integrated Manufacturing, Vol. 10, Iss. 1-4, 1997-01 ,pp. : 17-28

Taylor & Francis Ltd

Access to resources Recommend Favorite

Modeling and formal verification of embedded systems based on a Petri net representation

By Cortes L.A. Eles P. Peng Z.

Journal of Systems Architecture, Vol. 49, Iss. 12, 2003-12 ,pp. : 571-598

Elsevier

Access to resources Recommend Favorite

Petri net versus queuing theory for evaluation of FMS

By Ullah Hamid

Assembly Automation, Vol. 31, Iss. 1, 2011-02 ,pp. : 29-37

Emerald Group Publishing Ltd

Access to resources Recommend Favorite