语义标记Petri网的组合Web服务建模与验证

雷丽晖1,2 ,段振华1+

Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets

LEI Lihui ^1,2, DUAN Zhenhua ¹⁺

计算机科学与探索 . 2009, (2): 173 -187 . DOI: 10.3778/j.issn.1673-9418.2009.02.006