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 base 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.
maintenance process modeling and simulation Petri Net ExSpect
Qu Changzheng Zhang Yanzhong Li Shiying Nie Chenglong
Mechanical Engineering College,Shijiazhuang,050003 China
国际会议
西安
英文
2007-08-16（万方平台首次上网日期，不代表论文的发表时间）