Web服务组合形式化验证方法研究

曹利培 ¹，孔娟 ¹，刘静 ²

Authentication method of Web service combination formalization based on petri net

CAO Li-pei ¹，KONG Juan ¹，LIU Jing ²

计算机工程与应用 . 2009, (25): 48 -51 . DOI: 10.3778/j.issn.1002-8331.2009.25.015