会议论文《基于Petri网的WSCI形式化模型分析》发表于2009年全国理论计算机科学学术年会。该文利用Petri网理论对WSCI（Web服务组合与集成）进行形式化建模，旨在提高Web服务协同过程的可靠性和可验证性。通过构建精确的数学模型，作者提出了有效的分析方法，为复杂服务系统的建模与验证提供了理论支持。
文档为pdf格式，0.36MB，总共5页。
举报
