论文部分内容阅读
在资源共享系统中,竞争系统的有限资源会导致系统死锁等不希望事件的发生,文中利用辅助弧,通过引入资源回路概念来描述系统中的这一竞争过程,揭示了一类资源共享系统的资源竞争过程本质特点,阐述了资源回路与系统死锁之间的相互关系,给出了系统在Petri网模型下死锁存在的必要条件.提出了一种避免系统死锁的最优Petri网控制器设计方法,其方法在设计和计算上是有效的,几何上是直观的.