在典型的资源分配系统中,生产流程互相等待彼此占有的资源会导致系统死锁,进而造成生产的停滞和系统开销上升,使系统性能严重恶化......

研究了S4PR（systems of sequential systems with shared resources）网的虹吸寻找问题.S4PR网是一类典型的用于建模顺序资源共享分配......

作为Petri网的一个结构性目标,信标在柔性制造系统死锁控制理论中起着关键的作用.基于Petri网图论和信标的定义,针对Petri的一类子......