Specification and Verification for Integration of a CIM System

Abstract Specification and verification of system integration are the central issues in the design, implementation, and operation of Computer-Integrated Manufacturing systems. This paper shows that both specification and verification can be addressed conveniently and effectively by using Petri nets. The primary goals here are to develop a Petri net model for the integration specification of a CIM system for part processing, to conduct process analysis for the system based on its Petri net model for the purpose of verification, and finally, to determine some supervisory control procedures, such as deadlock prevention and avoidance, for the system according to the result of analysis and the other specified requirements.