The modeling analysis of manufacturing execution system based upon colored petri nets

Proceedings - 2nd 2008 International Symposium on Intelligent Information Technology Application Workshop, IITA 2008 Workshop

Volumn , Issue , 2008, Pages 1093-1096

  Tao, Liang ^a   Qing, Li ^a   Jiwei, Hua ^a  

^a HEBEI UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; INFORMATION RETRIEVAL; INFORMATION TECHNOLOGY; MARINE BIOLOGY; PETRI NETS;

COLORED PETRI NETS; DISCRETE EVENT DYNAMIC SYSTEMS; FORMALIZATION METHODS; INDUSTRIAL CONTROLS; INFORMATION INTEGRATIONS; MANAGEMENT SYSTEMS; MANUFACTURING CENTERS; MANUFACTURING EXECUTION SYSTEMS; MODELING ANALYSIS; MODELING TOOLS; NET SYSTEMS; RANDOM FACTORS; SYSTEM MODELING;

TECHNICAL PRESENTATIONS;

EID: 62449274478     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IITA.Workshops.2008.258     Document Type: Conference Paper

References (9)

1. K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume1: Basic Concepts, 1992. Volume 2, Analysis Methods, 1994. Volume 3: Practical Use,1997. Monographs in Theoretical Computer Science, Springer-Verlag.
2. K. Jensen: Colored Petri Nets: A High-level Language for System Design and Analysis. In:G. Rozenberg (ed.): Advances in Petri Nets 1990, Lecture Notes in Computer Science Vol.483, Springer-Verlag 1991, 342-416. Also in K. Jensen and G. Rozenberg (eds.): High-level Petri Nets. Theory and Application, Springer-Verlag, 1991, 44-122.
3. K. Jensen: An Introduction to the Theoretical Aspects of Colored Petri Nets. In: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.): A Decade of Concurrency, Lecture Notes in Computer Science Vol. 803, Springer-Verlag 1994, 230-272.
4. A. Cheng, S. Christensen, and K.H. Mortensen. Model Checking Colored Petri Nets Exploiting Strongly Connected Components. In Proc. of the International Workshop on Discrete Event Systems, WODES96. Institution of Electrical Engineers, Computing and Control Division, Edinburgh, UK, 1996.
5. Gang XU, Deadlock prevention for flexible manufacturing system, Control Theory and Applications,2005.4.
6. Zhang Danyu , Using colored timed petri net for the solution of deadlock in a flexible assembly system, Chinese Journal of Mechanical Engineering,2001.4
7. Dong M , et al . Process modeling and analysis of manufacturing supply chain networks using object2oriented Petri nets [ J ] .Robotics and Computer Integrated Manufacturing , 2001 , 17(5) :121-29
8. Cheng F T , Yang H C , Kuo T L , et al . Modeling and analysis of equipment managers in manufacturing execution system for semiconductor packaging [ J ] . IEEE Transaction on Systems ,Man and Cybernetics -Part : Cybernetics , 2000 ,30 ( 5) :772-782
9. K. Barkaoui , I . B. Abdallah. Deadlock avoidance in FMS based on structural theory of Petri nets [ C] // Proc. of 1995 INRIA/ IEEE Symp. On Emerging Technologies and Factory Automation. New York ,America :IEEE Press. 1995 ,2 :499 - 510.