基于状态方程的Petri网可达性的扩展

摘要

给出了两类典型的满足状态方程却不可达的Petri网.在理论分析的基础上,提出了"借、还资源法"和"借、还变迁法",较好地解决了满足状态方程但不可达的问题.使Petri网可达性得到一定的扩展,从而增强了Petri网对现实系统建模与仿真能力.