一类资源共享系统的Petri网最优活性控制

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

自动制造系统Petri网模型SPN的化简

在一类SPN自动制造系统(Automated Manufacturing System,简称AMS)Petri网(Petri net,简称PN)模型中,死锁控制问题需要大量的计算.为了缩小网模型的规模,进而减少计算量,同时缩小控制器规模,需要对自动制造系统Petri网模型SPN进行化简.完美极大资源变迁回路(Perfect Maxi mal Resource-Transition Circuit,简称PMRTC)是描述系统死锁的结构特征.由于位置特殊资源不可能出现在网的PM-RTC之中.因此,对于包含此类资源的网系统,化简算法将位置特殊资源,以及相关操作库所、变迁和弧删去.在保持原网PMRTC不变的基础上,最终得到的网系统具有较少的库所、变迁和较简单的网结构.理论分析证明,化简算法是正确的.而通过对实例的处理,则显示出化简算法的有效性.