工艺约束条件下加工顺序决策的Petri网T_不变量方法

针对计算机辅助工艺设计中一直没有解决的加工顺序决策问题,提出了一种新的基于Petri网T_不变量的加工顺序决策方法。首先根据Petri网原理和产生式规则建立了一个基于规则的加工顺序决策Petri网模型;然后在考虑工艺约束的条件下,给出了可选工艺路线T_不变量的生成算法;最后通过一个实例验证了该算法的合理性和有效性。实例结果表明,所提出的决策方法能够实现从可选工艺路线中得到最优/次优的工艺路线。

基于Petri网T_不变量考虑约束条件的可选加工方法链决策

计算机辅助工艺规划系统中的加工方法决策和加工顺序决策是迄今为止一直没有得到很好解决的关键问题。由于Petri网是对离散事件动态系统进行描述、建模和分析的强有力的工具,而机械制造系统又是典型的离散事件系统,所以文中采用Petri网来求解工艺规划问题。首先根据Petri网原理和产生式规则建立了基于规则的Petri网加工方法链模型;然后在考虑约束条件的基础上,提出了一种新的可选加工方法链T_不变量生成方法;最后对具体的实例进行了分析和验证。

多元化网络管理协议的Petri网模型及其验证(英文)

介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S_不变量分析和T_不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础。