会议论文《基于程序Petri网的新型软件开发方法研究》发表于第十二届全国Petri网理论与应用学术年会。该文提出一种结合程序Petri网的软件开发新方法，旨在提高软件设计的规范性和可验证性。通过引入Petri网的并行与同步机制，优化软件开发流程，增强系统行为的描述能力。研究成果为复杂软件系统的建模与分析提供了理论支持和实践指导。
文档为pdf格式，0.49MB，总共4页。
举报
