Deadlock prevention; Flexible Manufacturing System; Liveness-enforcing Supervisor; Petri Net; Redundant Monitor;
机译:考虑全球行动,在本地以基于Petri网的FMS生命力增强主管综合方法
机译:具有加权弧的全局思考局部方法,用于综合Petri网建模FMS的增强生命力的主管
机译:大多数允许通过线性监视器为离散事件系统执行最宽松的活力
机译:一种改进的方法,从而从加强培养的培养型培养净净主管删除冗余监视器
机译:离散事件系统的Petri网主管。
机译:一种提高地表水监测网络统计性能的实用方法
机译:用于改善调度性能的多集群工具的Petri网权管理设计
机译:混合冗余输出系统的petri网模型,B系列,10号