Enterprise Maintenance Flexible Process Modeling Based on ExSpect

Enterprise modeling and performance measurement are two major problems in enterprise research fields. To evaluate the maintenance process performance, a flexible maintenance model is provided using Executable specification - ExSpect. ExSpect is based on timed coloured Petri net which is a powerful tool for describing and studying systems that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. The maintenance enterprise normally works as job shop and the maintenance process is flexible. In the model, the maintenance process information is defined as token type by ExSpect functional part and the process information is decomposed by Petri net to generate executable group task in order, which is executed by group maintenance process model. The model can simulate directly to analyze the enterprise performance qualitatively and quantitatively.