离散事件系统(Discrete Event System,DESs)可描述工业实践中诸多现象和流程,它是以事件为驱动的动态系统。在系统设计时可设定约......

严格极小信标是导致Petri网产生死锁现象的结构原因。只要存在被非充分标识的严格极小信标,Petri网就会产生死锁。因此Petri网的死......

Petri网作为一种新兴的数学建模工具，被广泛地应用于各类制造系统中．现有的死锁预防控制策略大多采用对极小信标添加控制库所来达到......

提出一种新的死锁控制策略，保证含有并发执行装配过程的一类柔性制造系统（Flexible manufacturing system，FMS）G—system的非阻塞性，即......

针对具有特定资源库所的S3PR网,提出了一种基于P不变式和严格极小信标的计算可达标识集的新方法.首先计算出由P不变式所确定的不变......