{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T04:01:44Z","timestamp":1706760104125},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,8,17]],"date-time":"2011-08-17T00:00:00Z","timestamp":1313539200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11227-011-0668-3","type":"journal-article","created":{"date-parts":[[2011,8,17]],"date-time":"2011-08-17T11:10:51Z","timestamp":1313579451000},"page":"1215-1230","source":"Crossref","is-referenced-by-count":4,"title":["Petri net based Grid workflow verification and optimization"],"prefix":"10.1007","volume":"66","author":[{"given":"Haijun","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Song","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shadi","family":"Ibrahim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,8,17]]},"reference":[{"key":"668_CR1","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1177\/109434200101500302","volume":"15","author":"I Foster","year":"2001","unstructured":"Foster I, Kesselman C, Tuecke S (2001) The anatomy of the Grid: enabling scalable virtual organizations. Int J High Perform Comput Appl 15:200\u2013222","journal-title":"Int J High Perform Comput Appl"},{"key":"668_CR2","unstructured":"Foster I, Kishimoto H, Savva A, Berry D et al. (2005) The open Grid services architecture, version 1.50. Available: http:\/\/forge.Gridforum.org\/projects\/ogsa-wg"},{"key":"668_CR3","volume-title":"Proceedings of 2nd international workshop on Web services: modeling, architecture and infrastructure","author":"R Gr\u00f8nmo","year":"2004","unstructured":"Gr\u00f8nmo R, Solheim I (2004) Towards modeling web service composition in UML. In: Proceedings of 2nd international workshop on Web services: modeling, architecture and infrastructure, Porto, Portugal"},{"key":"668_CR4","volume-title":"Proc 22nd international parallel and distributed processing symposium (IPDPS)","author":"R Hall","year":"2007","unstructured":"Hall R, Rosenberg AL, Venkataramani A (2007) A comparison of DAG-scheduling strategies for Internet-based computing. In: Proc 22nd international parallel and distributed processing symposium (IPDPS)"},{"key":"668_CR5","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/978-3-540-30544-6_2","volume-title":"Proceedings of international conference of Asian digital libraries","author":"H Jin","year":"2004","unstructured":"Jin H (2004) ChinaGrid: making Grid computing a reality. In: Proceedings of international conference of Asian digital libraries, Shanghai, China. Lecture notes in computer science, vol 3334. Springer, Berlin, pp 13\u201324"},{"key":"668_CR6","unstructured":"Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S (2003) Business process execution language for web services version\u00a01.1. BEA Systems, IBM Corporation, Microsoft Corporation, SAP AG, Siebel Systems"},{"key":"668_CR7","unstructured":"J\u00fcngel M, Kindler E, Weber M (2000) The Petri net markup language. Algorithmen und Werkzeuge f\u00fcr Petrinetze (AWPN). Koblenz"},{"key":"668_CR8","unstructured":"Petri CA (1962) Kommunikation mit Automaten. PhD thesis, Institut f\u00fcr instrumentelle Mathematik, Bonn"},{"key":"668_CR9","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van\u00a0der","year":"1998","unstructured":"van\u00a0der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8:21\u201366","journal-title":"J Circuits Syst Comput"},{"key":"668_CR10","series-title":"Lecture notes in computer science","first-page":"407","volume-title":"Application and theory of Petri nets","author":"WMP Aalst van\u00a0der","year":"1997","unstructured":"van\u00a0der Aalst WMP (1997) Verification of workflow nets. In: Application and theory of Petri nets. Lecture notes in computer science, vol 1248. Springer, Berlin, pp 407\u2013426"},{"key":"668_CR11","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J Ezpeleta","year":"1995","unstructured":"Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11:173\u2013184","journal-title":"IEEE Trans Robot Autom"},{"key":"668_CR12","first-page":"541","volume-title":"Proceedings of the IEEE","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. In: Proceedings of the IEEE, vol 77, pp 541\u2013580"},{"key":"668_CR13","unstructured":"van\u00a0der Aalst WMP, ter Hofstede AHM, Kiepuszewski B, Barros AP (2002) Workflow patterns. QUT technical report, FIT-TR-2002-02, Queensland University of Technology, Brisbane"},{"key":"668_CR14","unstructured":"Geeraerts G (2007) Coverability and expressiveness properties of well-structured transition systems. PhD thesis, Universit\u2019e Libre de Bruxelles, Belgium"},{"key":"668_CR15","unstructured":"Finkel A, Geeraerts G, Raskin JF, Van Begin L (2005) A counter-example the the minimal coverability tree algorithm. Technical report 535, Universit\u2019e Libre de Bruxelles"},{"key":"668_CR16","unstructured":"Stahl C (2005) A Petri net semantics for BPEL. Technical report, Humboldt-Universit\u00e4t zu Berlin"},{"key":"668_CR17","unstructured":"Ouyang C, Verbeek E, van\u00a0der Aalst WMP, Breutel S, Dumas M, ter Hofstede AHM (2005) Formal semantics and analysis of control flow in WS-BPEL. Technical report (revised version), Queensland University of Technology"},{"key":"668_CR18","unstructured":"Mantell K (2010) From UML to BPEL: model driven architecture in a web services world. IBM. Available: http:\/\/www-128.ibm.com\/developerworks\/webservices\/library\/ws-uml2bpel\/"},{"key":"668_CR19","first-page":"2","volume":"17","author":"D Thain","year":"2004","unstructured":"Thain D, Tannenbaum T, Livny M (2004) Distributed computing in practice: the Condor experience. Concurr Comput 17:2\u20134","journal-title":"Concurr Comput"},{"key":"668_CR20","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1007\/11596141_37","volume-title":"Proceedings of the 3rd international conference on service\u2013oriented computing","author":"C Ouyang","year":"2005","unstructured":"Ouyang C, Verbeek E, van\u00a0der Aalst WMP, Breutel S, Dumas M, ter Hofstede AHM (2005) WofBPEL: a tool for automated analysis of BPEL processes. In: Proceedings of the 3rd international conference on service\u2013oriented computing. Lecture notes in computer science, vol 3826. Springer, Berlin, pp 484\u2013489"},{"issue":"2","key":"668_CR21","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W Sadiq","year":"2000","unstructured":"Sadiq W, Orlowska ME (2000) Analyzing process models using graph reduction techniques. Inf Syst (Oxf) 25(2):117\u2013134","journal-title":"Inf Syst (Oxf)"},{"key":"668_CR22","unstructured":"ImageMagick (2010) Available: http:\/\/www.imagemagick.org\/"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-011-0668-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-011-0668-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-011-0668-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:05Z","timestamp":1559370245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-011-0668-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,17]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["668"],"URL":"https:\/\/doi.org\/10.1007\/s11227-011-0668-3","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,17]]}}}