会议论文《用Pi+演算表示带抑止弧的Petri网》探讨了如何利用Pi+演算对带抑止弧的Petri网进行建模与分析。该研究为复杂系统的行为描述提供了新的方法，增强了Petri网在并发与分布式系统中的表达能力。论文在第十二届全国Petri网理论与应用学术年会上发表，为相关领域的理论研究和实际应用提供了重要参考。
文档为pdf格式，0.57MB，总共5页。
举报
