Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets
LEI Lihui 1,2, DUAN Zhenhua 1+
Journal of Frontiers of Computer Science and Technology . 2009, (2): 173 -187 .  DOI: 10.3778/j.issn.1673-9418.2009.02.006