摘要：公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难。针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用t-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证。

摘要：加工方案决策是计算机辅助工艺规划中一直未能完全解决的关键问题.首先,在给出Petri网系统和t-不变量定义的基础上,根据Petri网原理和产生式规则建立一个基于模糊规则的零件表面加工方案Petri网模型;然后,根据Petri网t-不变量在考虑制造资源约束的条件下,提出一种新的可选加工方案t-不变量生成方法;最后,通过实例验证了所提方法的有效性.实例结果表明,采用作者提出的决策方法能够获得零件表面加工的最优/次优工艺方案.