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

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

研究了顺序资源共享分配系统的建模模型S^4PR（Systems of sequential systems with shared resources）网的活性问题．已有的研究成果表......

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