一种面向服务Petri网模型及其结构化操作语义 - 2012年第三届中国计算机学会服务计算学术会议.pdf

该论文提出了一种面向服务的Petri网模型，旨在支持服务计算中的流程建模与分析。通过引入结构化操作语义，增强了模型对服务组合和协调机制的描述能力。研究为服务流程的正确性验证提供了理论基础，并在实际应用中表现出良好的可扩展性和灵活性。

","role":"assistant文档为pdf格式，0.45MB，总共12页。

2025-12-14 15:12 上传 一种面向服务Petri网模型及其结构化操作语义 - 2012年第三届中国计算机学会服务计算学术会议.pdf

文件大小:

460.8 KB

下载次数:

60

一种面向服务Petri网模型及其结构化操作语义 - 2012年第三届中国计算机学会服务计算学术会议.pdf ...

高速下载