会议论文《袋自动机与Petri网模型之间的等价转化》探讨了两种计算模型之间的转换关系。该文在第十二届全国Petri网理论与应用学术年会上发表，旨在建立袋自动机与Petri网之间的等价性，为系统建模与分析提供理论支持。研究结果有助于促进不同模型间的互操作性，提升复杂系统的仿真与验证效率。
文档为pdf格式，0.37MB，总共3页。
举报
