摘要
采用Petri网建模方法,参照工作流参考模型组件和接口,基于VC++开发了图形化的建模工具。以车辆装备大中修管理为例,建立基于Petri网的工作流业务过程模型,映射成经典Petri网,并将其转换成工作流过程定义语言。用ExSpect对工作流模型仿真,以分析模型的正确性及运行效能。
The figure modeling tool is developed based on Petri net modeling method and VC＋＋, referring to the components and interfaces of workflow reference model. Takes the example of vehicle equipment maintenance, the workflow task process model which based on Petri net is established and mapped into the classical Petri net. Then transforms into the workflow process definition language. The ExSpect is used to simulate the workflow model and analyze the correctness and operation efficiency of model.
出处
《兵工自动化》
2007年第3期18-19,共2页
Ordnance Industry Automation
基金
武器装备预研项目(51319160101)
