复杂系统的任务调度对于提升系统性能至关重要,很多应用场景引入可重构调度模型来处理复杂系统中的并发、互斥和非同步任务.由于系......

针对高校网上预约报销系统存在的排队问题,建立了一种基于Petri网的高校网上预约报销系统的优化模型.首先对高校网上预约报销系统......

用 Petri网作为建模工具 ,对典型的离散事件系统的建模进行了研究 Petri net is used as a modeling tool to study the modeling......

给出了模糊Petri网的形式化定义及其变迁规则，并以模糊Petri网的控制矩阵与关联矩阵为工具，讨论了模糊Petri网的性的必要性条件。......