A scheme is obtained using some kinds of Petri net reduction,according to the verification of flexible manu- facturing system.
针对柔性制造系统的验证问题,提出了用Petri网化简操作解决问题的方案。
参考来源 - Petri网化简操作及其在系统验证中的应用 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
最后，结合一个业务过程实例，根据转换规则把它映射为过程网，应用规则进行化简并得到验证结果。
Finally, following these rules, a procedure net example transformed from a business process is simplified, and the result is obtained.
该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部。
This method can be applied to Petri nets or subnets with inhibitor arcs and acyclic.
根据网结构的不同，基于SCN提出一组子网级化简规则，证明了这组化简规则的活性保持性、有效性和完备性。
According to different network structure, a subnet level reduction rules has been put forward based on SCN and the liveness, effectiveness and completeness of these rules have been demonstrated.
应用推荐