库所不变量相关论文
Petri网是一种系统的数学、图形建模和分析工具。它特别适用于具有同步、并发、冲突的离散事件系统的建模,并被广泛应用于分布式并......
基于Petri网库所不变量理论提出Internet多机器人协调控制模型,并利用此模型解决系统操作中的碰撞检测问题.通过对两个机器人协作......
为解决大规模复杂系统故障诊断中计算复杂性高的问题,提出一种基于Petri网的在线故障诊断方法.首先,建立诊断对象的规范Petri网模......
针对Petri网系统的并行控制与执行，提出Petri网系统的功能划分及其并行算法。采用库所不变量技术对Petri网系统进行功能划分，给出非......
