10.3969/j.issn.1003-3254.2013.08.002
基于CPN的求解关键路径的新方法①
在证明转换规则正确性的基础上,首先利用转换规则对 AOE 网进行转换,然后从两个方面对转换后的CPN(Colored Petri Nets)模型不合理的地方进行合理性的修改。再利用编写的函数求出从源点到汇点的所有的可达路径,在获得所有可达路径的同时也获取了所有可达路径所花费的时间,那么时间最大的就是关键路径。该方法不仅简便直观,而且能够在保证正确性合理性的前提下提高执行效率,减小时间复杂度。
关键路径、颜色Petri网、消息序列图、时间复杂度、状态空间
TP3;TG8
2013-08-25(万方平台首次上网日期,不代表论文的发表时间)
共6页
9-13,53