{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:21:43Z","timestamp":1775053303033,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540680819","type":"print"},{"value":"9783540680833","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68083-3_8","type":"book-chapter","created":{"date-parts":[[2008,5,12]],"date-time":"2008-05-12T13:48:00Z","timestamp":1210600080000},"page":"48-58","source":"Crossref","is-referenced-by-count":5,"title":["PGWFT: A Petri Net Based Grid Workflow Verification and Optimization Toolkit"],"prefix":"10.1007","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":"Yongcai","family":"Tao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1177\/109434200101500302","volume":"15","author":"I. Foster","year":"2001","unstructured":"Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid: Enabling Scalable Virtual Organizations. International Journal of High Performance Computing Applications\u00a015, 200\u2013222 (2001)","journal-title":"International Journal of High Performance Computing Applications"},{"key":"8_CR2","unstructured":"Foster, I., Kishimoto, H., Savva, A., Berry, D., et al.: The Open Grid Services Architecture, Version 1.50, http:\/\/forge.gridforum.org\/projects\/ogsa-wg"},{"key":"8_CR3","unstructured":"Gr\u00f8nmo, R., Solheim, I.: Towards Modeling Web Service Composition in UML. In: Proceedings of 2nd International Workshop on Web Services: Modeling, Architecture and Infrastructure, Porto, Portugal (2004)"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W. Sadiq","year":"2000","unstructured":"Sadiq, W., Orlowska, M.E.: Analyzing Process Models using Graph Reduction Techniques. Information Systems\u00a025(2), 117\u2013134 (2000)","journal-title":"Information Systems"},{"key":"8_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":"Digital Libraries: International Collaboration and Cross-Fertilization","author":"H. Jin","year":"2004","unstructured":"Jin, H.: ChinaGrid: Making Grid Computing a Reality. In: Chen, Z., Chen, H., Miao, Q., Fu, Y., Fox, E., Lim, E.-p. (eds.) ICADL 2004. LNCS, vol.\u00a03334, pp. 13\u201324. Springer, Heidelberg (2004)"},{"key":"8_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.: Business Process Execution Language for Web Services Version 1.1. BEA Systems, IBM Corporation, Microsoft Corporation, SAP AG, Siebel Systems (2003)"},{"key":"8_CR7","unstructured":"J\u00fcngel, M., Kindler, E., Weber, M.: The Petri Net Markup Language. In: Algorithmen und Werkzeuge f\u00fcr Petrinetze (AWPN), Koblenz (2000)"},{"key":"8_CR8","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD Thesis, Institut f\u00fcr instrumentelle Mathematik, Bonn (1962)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: The Application of Petri nets to Workflow Management. The Journal of Circuits, Systems and Computers, 21\u201366 (1998)","DOI":"10.1142\/S0218126698000043"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Ezpeleta, J., Colom, J.M., Martinez, J.: A Petri net based Deadlock Prevention Policy for Flexible Manufacturing Systems. IEEE Transactions on Robotics & Automation, 173\u2013184 (1995)","DOI":"10.1109\/70.370500"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"8_CR13","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. QUT Technical report, FIT-TR-2002-02, Queensland University of Technology, Brisbane (2002)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-540-30077-9_8","volume-title":"E-Commerce and Web Technologies","author":"J.A. Fisteus","year":"2004","unstructured":"Fisteus, J.A., Fern\u00e1ndez, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: Bauknecht, K., Bichler, M., Pr\u00f6ll, B. (eds.) EC-Web 2004. LNCS, vol.\u00a03182, pp. 76\u201385. Springer, Heidelberg (2004)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/1035167.1035202","volume-title":"Proceedings of 2nd International Conference on Service Oriented Computing","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web Services: A Process Algebra Approach. In: Proceedings of 2nd International Conference on Service Oriented Computing, pp. 242\u2013251. ACM Press, New York (2004)"},{"key":"8_CR16","unstructured":"Fahland, D., Reisig, W.: ASM-based Semantics for BPEL: The Negative Control Flow. In: Proceedings of 12th International Workshop on Abstract State Machines, Paris, France, pp. 131\u2013151 (2005)"},{"key":"8_CR17","unstructured":"Stahl, C.: A Petri net semantics for BPEL, Technical Report, Humboldt-Universit\u00e4t zu Berlin (2005)"},{"key":"8_CR18","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical report (revised version), Queensland University of Technology (2005)"},{"issue":"4","key":"8_CR19","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of IEEE"},{"key":"8_CR20","unstructured":"Mantell, K.: From UML to BPEL: Model Driven Architecture in a Web Services World. IBM (2005), http:\/\/www-128.ibm.com\/developerworks\/webservices\/library\/ws-uml2bpel\/"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Thain, D., Tannenbaum, T., Livny, M.: Distributed Computing in Practice: The Condor Experience. Concurrency and Computation: Practice and Experience (2004)","DOI":"10.1002\/cpe.938"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/11596141_37","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"C. Ouyang","year":"2005","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 484\u2013489. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Advances in Grid and Pervasive Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68083-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,18]],"date-time":"2023-05-18T07:49:07Z","timestamp":1684396147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68083-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540680819","9783540680833"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68083-3_8","relation":{},"subject":[]}}