DESIGN, MODELING AND ANALYSIS OF CIMOSA BUSINESS PROCESSES USING OBJECT-ORIENTED PREDICATE/TRANSITION PETRI NETS

摘要

This paper presents a systematic methodology for design, modeling and analysis of the Computer Integrated Manufacturing Open System Architecture (CIMOSA) based enterprise business processes. The proposed approach first employs CIMOSA modeling constructs to design the enterprise processes. Object-oriented predicate/transition nets (OPTNs) are developed for the modular modeling and analysis of process models. Based on the structure of OPTNs, a procedure to obtain the system's P-invariants through objects' P-invariants is suggested. From the P-invariants obtained, system structural properties such as deadlock and overflow can be analyzed. By using Petri net unfolding techniques and by extracting the process model of each object from the entire process model, the sequencing analysis for each object's interfaces becomes possible. Several manufacturing system examples are used to illustrate the effectiveness of the proposed method.