基于通信顺序进程和资源向量的有关概念,提出了截断迹及截断迹集,研究了系统具有共享资源时标志容量的计算方法,提出了具有顺序共......

提出基于奇偶校验的方法对Petri网控制器进行故障检测.设计出满足包含标识向量和Parikh向量的线性约束的Petri网控制器;建立一个包......

基于通信顺序进程和资源向量的有关概念，提出了截断迹及截断迹集，研究了系统具有共享资源时标志容量的计算方法，提出了具有顺序共享资......

自动制造系统（ＡＭＳｓ）Ｐｅｔｒｉ网控制器形式化设计是ＡＭＳｓ Ｐｅｔｒｉ网控制器自动设计的理论基础。本文以ＡＭＳｓ计划层和调度层生成的工序序列和资源需求序列为基础，为顺......

以最小化生产周期、机床负载和机床与工人的费用为调度目标,基于受控Petri网和遗传算法提出了一种多目标作业车间调度方法,用于解......

为了实现跑道入侵防御系统应用的灵活性,提出了一种基于Petri网跑道入侵防御系统的重构方法.对监视数据源进行了数据分析与处理,并......