{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T22:36:30Z","timestamp":1777415790339,"version":"3.51.4"},"reference-count":39,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1016\/s1389-1286(03)00228-7","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T19:57:07Z","timestamp":1051127827000},"page":"675-693","source":"Crossref","is-referenced-by-count":72,"title":["Analysis and simulation of Web services"],"prefix":"10.1016","volume":"42","author":[{"given":"Srini","family":"Narayanan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila","family":"McIlraith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S1389-1286(03)00228-7_BIB1","first-page":"345","article-title":"Woflan: A Petri-net-based workflow analyzer","volume":"35","author":"van der Aalst","year":"1999","journal-title":"Systems Analysis, Modelling, Simulation"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB2","doi-asserted-by":"crossref","unstructured":"A. Ankolekar, F. Huch, K. Sycara, Concurrent execution semantics for DAML-S with subtypes, in: The First International Semantic Web Conference (ISWC), Sardinia (Italy), June 2002","DOI":"10.1007\/3-540-48005-6_25"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB3","unstructured":"A. Arkin, Business Process Modeling Language. Available from <http:\/\/www.bpmi.org\/bpml.esp>"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB4","unstructured":"A. Arkin, S. Askary, S. Fordin, W. Jekeli, K. Kawaguchi, D. Orchard, S. Pogliani, K. Riemer, S. Struble, P. Takacsi-Nagy, I. Trickovic, S. Zimek, Web Service Choreography Interface. Available from <http:\/\/wwws.sun.com\/software\/xml\/developers\/wsci\/>"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB5","unstructured":"A. Banerji et al., WSCL: Web Services Conversation Language, W3C Technical Report. Available from <http:\/\/www.w3.org\/TR\/wscl10\/>"},{"issue":"1\u20132","key":"10.1016\/S1389-1286(03)00228-7_BIB6","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0004-3702(00)00043-6","article-title":"Computational complexity of planning and approximate planning in the presence of incompleteness","volume":"122","author":"Baral","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB7","unstructured":"V.R. Benjamins, E. Plaza, E. Motta, D. Fensel, R, Studer, B. Wielinga, G. Schreiber, Z. Zdrahal, IBROW3\u2013\u2013An intelligent brokering service for knowledge-component reuse on the world wide web, in: Proc. 11th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW\u201998), 1998. Available from <http:\/\/spuds.cpsc.ucalgary.ca\/KAW\/KAW98\/KAW98Proc.html>"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB8","doi-asserted-by":"crossref","unstructured":"T. Berners-Lee, J. Hendler, O. Lassila, The Semantic Web, Scientific American, May 2001","DOI":"10.1038\/scientificamerican0501-34"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB9","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF01888220","article-title":"Partial order behaviour and structure of Petri Nets","volume":"2","author":"Best","year":"1990","journal-title":"Formal Aspects of Computing"},{"issue":"1\u20132","key":"10.1016\/S1389-1286(03)00228-7_BIB10","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","article-title":"Fast planning through planning graph analysis","volume":"90","author":"Blum","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB11","doi-asserted-by":"crossref","unstructured":"A. Cheng, J. Esperza, Complexity results for 1-safe nets, FST&TCS 13, Foundations of Software Technology and Theoretical Computer Science, 1993","DOI":"10.1007\/3-540-57529-4_66"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB12","unstructured":"F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, S. Weerawarana, Business Process Execution Language for Web Services. Available from <http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel\/>"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB13","unstructured":"DAML-S versions 0.5 and 0.6. Available from <http:\/\/www.daml.org\/services\/>"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB14","unstructured":"DAML Services Coalition: A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, H. Zeng, DAML-S: Semantic Markup for Web Services, in: Proc. International Semantic Web Working Symposium (SWWS), 2001"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB15","unstructured":"G. Denker, J. Hobbs, D. Martin, S. Narayanan, R. Waldinger, Querying and accessing information on the semantic web, in: Proc. Semantic Web Workshop, in conjunction with 10th International Worldwide Web Conference, 2001"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB16","doi-asserted-by":"crossref","unstructured":"J. Desel, J. Esparza, Shortest paths in reachability graphs, in: Proc. Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 691, Springer, Berlin, 1993, pp. 224\u2013241","DOI":"10.1007\/3-540-56863-8_49"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB17","doi-asserted-by":"crossref","unstructured":"C.A. Ellis, G.J. Nutt, Modelling and enactment of workflow systems, in: Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 691, Springer, Berlin, 1993, pp. 1\u201316","DOI":"10.1007\/3-540-56863-8_36"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB18","unstructured":"R. Fikes, D. McGuinness, An axiomatic semantics for RDF, RDF-S, and DAML+OIL, Manuscript. March, 2001. Available from <http:\/\/www.daml.org\/2001\/03\/axiomatic-semantics.html>"},{"issue":"1\u20132","key":"10.1016\/S1389-1286(03)00228-7_BIB19","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","article-title":"A concurrent programming language based on the situation calculus","volume":"121","author":"De Giacomo","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB20","unstructured":"M. Gruninger, Personal communications, August 2001"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB21","doi-asserted-by":"crossref","unstructured":"J. Hendler, Agents on the Web, IEEE Intelligent Systems 16 (2) (2001) (Special Issue on the Semantic Web)","DOI":"10.1109\/5254.920597"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB22","unstructured":"J. Hendler, D. McGuinness, The DARPA Agent Markup Languages. IEEE Intelligent Systems, Trends and Controversies, November\/December 2000, pp. 6\u20137"},{"issue":"3","key":"10.1016\/S1389-1286(03)00228-7_BIB23","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0304-3975(89)90053-4","article-title":"Problems concerning fairness and temporal logic for conflict-free Petri Nets","volume":"64","author":"Howell","year":"1989","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB24","unstructured":"H. Kautz, B. Selman, Unifying SAT-based and graph-based planning, in: Proc. 16th International Joint Conference on Artificial Intelligence (IJCAI\u201999), 1999"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB25","unstructured":"F. Leymann, Web Services Flow Language. Available from <http:\/\/www-3.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf>"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB26","unstructured":"D. Lowe et al., BizTalk(TM) Server: The Complete Reference, November 2001"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB27","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","article-title":"An algorithm for the general Petri net reachability problem","volume":"13","author":"Mayr","year":"1984","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB28","unstructured":"S. McIlraith, R. Fadel, Planning with complex actions, in: Proc. International Workshop on Non-Monotonic Reasoning (NMR2002), April 2002, pp. 356\u2013364"},{"issue":"2","key":"10.1016\/S1389-1286(03)00228-7_BIB29","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/5254.920599","article-title":"Semantic Web services","volume":"16","author":"McIlraith","year":"2001","journal-title":"IEEE Intelligent Systems"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB30","unstructured":"S. McIlraith, T. Son, Adapting Golog for composition of semantic Web services, in: Proc. 8th International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, CA, 2002, pp. 482\u2013493"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB31","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","article-title":"Petri Nets are monoids","volume":"88","author":"Meseguer","year":"1990","journal-title":"Information and Computation"},{"issue":"4","key":"10.1016\/S1389-1286(03)00228-7_BIB32","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri Nets: properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB33","unstructured":"S. Narayanan, Reasoning about actions in narrative understanding, in: Proc. International Joint Conference on Artificial Intelligence (IJCAI \u201999), 1999, pp. 350\u2013358"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB34","series-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","year":"2001"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB35","doi-asserted-by":"crossref","unstructured":"Schlenoff, M. Gruninger, F. Tissot, J. Valois, J. Lubell, J. Lee, The Process Specification Language (PSL): Overview and Version 1.0 Specification, NISTIR 6459, National Institute of Standards and Technology, Gaithersburg, MD, 2001","DOI":"10.6028\/NIST.IR.6459"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB36","unstructured":"S. Thatte, S. XLANG: Web Services for Business Process Design. Available from <http:\/\/www.gotdotnet.com\/team\/xml\/wsspecs\/xlang-c\/default.htm>"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB37","first-page":"3","article-title":"FAQs on OIL: the ontology inference layer","author":"van Harmelen","year":"2000","journal-title":"IEEE Intelligent Systems, Trends and Controversies"},{"key":"10.1016\/S1389-1286(03)00228-7_BIB38","unstructured":"R. Waldinger, Deductive composition of Web software agents, in: Proc. NASA Goddard Workshop on Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science, Vol. 1871, Springer, Berlin, 2000"},{"issue":"3","key":"10.1016\/S1389-1286(03)00228-7_BIB39","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","article-title":"Petri Nets, algebras, morphisms and compositionality","volume":"72","author":"Winskel","year":"1987","journal-title":"Information and Computation"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128603002287?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128603002287?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,19]],"date-time":"2020-03-19T09:00:28Z","timestamp":1584608428000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128603002287"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":39,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["S1389128603002287"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(03)00228-7","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}