会议论文《基于Petri网的软件体系结构编织形式化描述方法》探讨了如何利用Petri网技术对软件体系结构进行形式化建模。该文提出了一种新的方法，用于描述和分析软件体系结构中的动态行为与交互关系，提升了系统设计的可靠性和可验证性。文章在第十四届全国Petri网理论与应用学术年会上发表，为软件工程领域提供了重要的理论支持。
文档为pdf格式，0.35MB，总共7页。
举报
