机译:基于Petri网的活跃对象和期货建模
机译:基于UML / Petri Net的面向对象的软件体系结构设计,用于防止实时系统死锁
机译:一种基本的基于虹吸的死锁控制算法,具有最大可到达的数目以应对普通Petri网中的死锁问题:
机译:基于Petri网络的积极物品和期货死锁分析
机译:柔性制造系统中的死锁解决方案:一种基于Petri网的方法。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:基于基于Siphon的死锁控制算法,具有最大可达数量,以应对普通Petri网的死锁问题