共 38 条
[2]
Church Joshua, 2013, 2013 IEEE 20th International Conference on Web Services (ICWS), P187, DOI 10.1109/ICWS.2013.34
[3]
An approach of Web service discovery and composition based on logic Petri nets
[J].
ADVANCED DESIGNS AND RESEARCHES FOR MANUFACTURING, PTS 1-3,
2013, 605-607
:2351-+
[4]
A Petri-net-based correctness analysis of Internet stock trading systems
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS,
2008, 38 (01)
:93-99
[6]
A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,
2009, 39 (02)
:299-308
[7]
Modeling and monitoring of E-commerce workflows
[J].
INFORMATION SCIENCES,
2009, 179 (07)
:995-1006
[8]
Dumas M., 2010, Proceedings of the 2010 IEEE Congress on Services (SERVICES-1), P423, DOI 10.1109/SERVICES.2010.23
[9]
Elgazzar Khalid, 2010, 2010 IEEE International Conference on Web Services (ICWS), P147, DOI 10.1109/ICWS.2010.31
[10]
Fangfang Liu, 2010, 2010 IEEE International Conference on Web Services (ICWS), P155, DOI 10.1109/ICWS.2010.67