会议论文《含抑制弧和测试弧Petri网的建模及其行为分析》探讨了扩展Petri网模型在系统建模中的应用。该文引入抑制弧和测试弧，增强了Petri网对复杂系统行为的描述能力。通过分析模型的行为特性，如可达性与安全性，为系统验证提供了理论支持。该研究对工业控制、软件工程等领域具有重要意义。
文档为pdf格式，0.66MB，总共7页。
举报
