基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转，提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构，通过分级验证法验证模型性能，即采用不变量验证法验证组织内活性，采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁，采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点，提高了系统的实用性和高效性.

Modeling and analysis for resident physician training workflow based on high level Petri net

In order to realize the concurrent and coordinate run of the resident physician training system as well as the fluent and correct operation of the workflow, an integrative modeling method based on the combination of high level colored Petri net and inter organizational Petri net was proposed. The classification validation method was used to verify the model performance for the inter organizational model structure. In the validation method, the invariant validation method was used to verify the activity inside the organization, and the reduction reachability graph method was used to validate the association reachability among different sub organization. The invariant and reduction reachability graph verification methods can guarantee no deadlock inside and among organization. This model based on the colored inter organizational method adapts to the characteristics of multiple roles and concurrency of the resident training physician system, and improves the practicability and efficiency of the system.