【摘要】：Petri网作为一种基于状态的形式化建模方法，具有直观、形象、语义严格且数学分析的优点，是数据和控制流的抽象和形式化建模方法[41]。闫春钢等[6]针对通用构件描述语言提出一种Petri网模拟和验证方法，即对于Web服务的元活动和构件提出相应的Petri网模型及验证方法。然而对于一个复杂的Web服务系统，其对应的Petri网模型的验证分析较为复杂，有的甚至难以实现。闫春钢等[6]对Petri网的一类特定系统（T图）研究了化简分析方法。
Petri网作为一种基于状态的形式化建模方法，具有直观、形象、语义严格且数学分析的优点，是数据和控制流的抽象和形式化建模方法[41]。一个Petri网是一个定向连接的双向图，图中节点代表库所（Place）和变迁（Transition）。Petri网具有严格的数学基础，可以广泛地应用于描述和研究具有并发、异步、分布、并行、非确定性和随机性质的信息系统，提供了一种可操作语义及定性和定量分析[41]。Hamadi和Benatallah[48]用Petri网对服务建模，把服务的操作和服务的输入、输出分别映射到Petri网中的变迁和库所，提出了服务Petri网模型，并针对服务组合中的各种结构进行形式化表达。罗楠等[49]利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模，通过服务组合代数定义组合运算的基本规则，并在此基础上根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。闫春钢等[6]针对通用构件描述语言（Universal Component Description Language，UCDL）提出一种Petri网模拟和验证方法，即对于Web服务的元活动和构件提出相应的Petri网模型及验证方法。然而对于一个复杂的Web服务系统，其对应的Petri网模型的验证分析较为复杂，有的甚至难以实现。闫春钢等[6]对Petri网的一类特定系统（T图）研究了化简分析方法。李景霞和闫春钢[50]扩充了化简规则，讨论了化简过程对语义的保持关系。(www.xing528.com)
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
