{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:39Z","timestamp":1725564879460},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_30","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"494-503","source":"Crossref","is-referenced-by-count":5,"title":["Web Supported Enactment of Petri-Net Based Workflows with XRL\/Flower"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Norta","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"van der Aalst, W.M.P.: Structural Characterizations of Sound Workflow Nets. Computing Science Reports 96\/23, Eindhoven University of Technology, Eindhoven (1996)"},{"issue":"1","key":"30_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets toWorkflow Management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"30_CR3","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns Home Page, http:\/\/www.tm.tue.nl\/it\/research\/patterns\/"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/10722620_2","volume-title":"Cooperative Information Systems","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Advanced Workflow Patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol.\u00a01901, pp. 18\u201329. Springer, Heidelberg (2000)"},{"issue":"1","key":"30_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1287\/isre.14.1.23.14768","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., Kumar, A.: Xml based schema definition for support of interorganizational workflow. Information Systems Research\u00a014(1), 23\u201347 (2003)","journal-title":"Information Systems Research"},{"key":"30_CR6","first-page":"30","volume-title":"Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST 2001)","author":"W.M.P. Aalst van der","year":"2001","unstructured":"van der Aalst, W.M.P., Verbeek, H.M.W., Kumar, A.: XRL\/Woflan: Verification of an XML\/Petri-net based language for inter-organizational workflows (Best paper award). In: Altinkemer, K., Chari, K. (eds.) Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST 2001), pp. 30\u201345. Informs, Linthicum (2001)"},{"key":"30_CR7","unstructured":"BEA Systems, Intalio, SAP AG , Sun Microsystems. Web Service Choreography Interface (WSCI) 1.0 Specification (2003), http:\/\/wwws.sun.com\/software\/xml\/developers\/wsci\/"},{"key":"30_CR8","unstructured":"Berglund, A., Boag, S., Chamberlin, D., et al.: XML Path Language (XPath) 2.0 (2003), http:\/\/www.w3.org\/TR\/2003\/WD-xpath20-20030822"},{"key":"30_CR9","unstructured":"BPML.org. Business Process Modeling Language (BPML) version 1.0. (2003), Accessed August 2003 from www.bpmi.org"},{"key":"30_CR10","unstructured":"Workflow Management Coalition. XML Process Definition Language (2002), http:\/\/www.wfmc.org\/standards\/docs\/TC-1025_10_xpdl_102502.pdf"},{"key":"30_CR11","unstructured":"Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web-Services (2003), http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"30_CR12","unstructured":"IBM. Web Service Flow Language (WSFL) 1.0 Specification (2003), http:\/\/www-3.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf"},{"key":"30_CR13","unstructured":"Kiepuszewski, B.: Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Queensland University of Technology, Brisbane, Australia (2002)"},{"issue":"3","key":"30_CR14","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B. Kiepuszewski","year":"2003","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of Control Flow in Workflows. Acta Informatica\u00a039(3), 143\u2013209 (2003)","journal-title":"Acta Informatica"},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"E. Kindler","year":"2003","unstructured":"Kindler, E., Billington, J., Christensen, S., et al.: The petri net markup language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"30_CR16","unstructured":"Kindler, E., Weber, M., et al.: Petri Net Kernel (PNK) Home Page (2003), http:\/\/www.informatik.hu-berlin.de\/top\/pnk\/"},{"key":"30_CR17","unstructured":"Kindler, E., Weber, M., et al.: Petri Net Markup Language (PNML) Home Page (2003), http:\/\/www.informatik.hu-berlin.de\/top\/pnml\/"},{"issue":"4","key":"30_CR18","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/s100090100055","volume":"3","author":"E. Kindler","year":"2001","unstructured":"Kindler, E., Weber, M.: The petri net kernel - an infrastructure for building petri net tools. International Journal on Software Tools for Technology Transfer\u00a03(4), 486\u2013497 (2001)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"30_CR19","unstructured":"Norta, A.: XRL Home Page, http:\/\/www.tm.tue.nl\/it\/research\/xrl\/"},{"key":"30_CR20","unstructured":"Norta, A.: XRL\/flower Home Page, http:\/\/www.tm.tue.nl\/it\/research\/xrl\/flower"},{"key":"30_CR21","unstructured":"Thatte, S.: XLANG: Web Service for Business Process Design (2003)"},{"key":"30_CR22","unstructured":"Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan Home Page, Eindhoven University of Technology, Eindhoven, The Netherlands, http:\/\/www.tm.tue.nl\/it\/woflan"},{"key":"30_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/3-540-44988-4_28","volume-title":"Application and Theory of Petri Nets 2000","author":"H.M.W. Verbeek","year":"2000","unstructured":"Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan 2.0: A Petri-net-based Workflow Diagnosis Tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 475\u2013484. Springer, Heidelberg (2000)"},{"issue":"4","key":"30_CR24","first-page":"246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes Using Woflan. The Computer Journal, British Computer Society\u00a044(4), 246\u2013279 (2001)","journal-title":"The Computer Journal, British Computer Society"},{"key":"30_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-36189-8_8","volume-title":"Web Services, E-Business, and the Semantic Web","author":"H.M.W. Verbeek","year":"2002","unstructured":"Verbeek, H.M.W., Hirnschall, A., van der Aalst, W.M.P.: XRL\/Flower: Supporting interorganizational workflows using XML\/Petri-net technology. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol.\u00a02512, pp. 93\u2013109. Springer, Heidelberg (2002)"},{"key":"30_CR26","series-title":"Lecture Notes in Computer Science","first-page":"455","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M. Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The petri net markup language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, p. 455. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:25:44Z","timestamp":1620012344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}