论文部分内容阅读
针对云制造服务流程交互兼容性判定问题,提出一种基于Petri网对云制造服务流程进行建模和交互兼容性检测的方法。将交互兼容性的判定转化为对云制造流程网的兼容库所在流程路径中出现的次序的检测。设计了相关算法,并举例验证了方法的有效性。有效避免了传统Petri网方法进行交互兼容判定时存在的状态空间爆炸问题,提高了判定效率。
Aiming at the problem of judging the compatibility of cloud manufacturing service processes, a method of modeling and interactive compatibility testing of cloud manufacturing service processes based on Petri nets is proposed. Transforming the judgment of interactivity compatibility into the detection of the order occurring in the process path where the compatible libraries of cloud manufacturing process networks reside. The relevant algorithms are designed and examples are given to verify the effectiveness of the method. Effectively avoids the explosion of state space existing in traditional Petri net method for interactive compatibility judgment and improves the judgment efficiency.