{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T17:56:58Z","timestamp":1684173418231},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2005,9,21]],"date-time":"2005-09-21T00:00:00Z","timestamp":1127260800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Informatik Forsch. Entw."],"published-print":{"date-parts":[[2005,10]]},"DOI":"10.1007\/s00450-005-0209-5","type":"journal-article","created":{"date-parts":[[2005,9,20]],"date-time":"2005-09-20T18:33:50Z","timestamp":1127241230000},"page":"90-101","source":"Crossref","is-referenced-by-count":6,"title":["Kommunizierende Workflow-Services modellieren und analysieren"],"prefix":"10.1007","volume":"20","author":[{"given":"Wolfgang","family":"Reisig","sequence":"first","affiliation":[]},{"given":"Karsten","family":"Schmidt","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Stahl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,21]]},"reference":[{"key":"209_CRAalst98","doi-asserted-by":"crossref","unstructured":"Aalst W (1998) The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1):21\u201366","DOI":"10.1142\/S0218126698000043"},{"key":"209_CRAalst03-patterns","doi-asserted-by":"crossref","unstructured":"Aalst W, Hofstede A, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Databases 14(1):5\u201351","DOI":"10.1023\/A:1022883727209"},{"key":"209_CRBadouel98","doi-asserted-by":"crossref","unstructured":"Badouel E, Darondeau P (1998) Theory of regions. LNCS: Lectures on Petri Nets I: Basic Models 1491:529\u2013586","DOI":"10.1007\/3-540-65306-6_22"},{"key":"209_CRcasati95","doi-asserted-by":"crossref","unstructured":"Casati F, Ceri S, Pernici B, Pozzi G (1995) Conceptual Modeling of Workflows. In: Papazoglou MP (ed) Proceedings of the OOER\u201995, 14th International Object-Oriented and Entity-Relationship Modelling Conference, Springer-Verlag, vol 1021, pp 341\u2013354","DOI":"10.1007\/BFb0020545"},{"key":"209_CRClarke03","doi-asserted-by":"crossref","unstructured":"Clarke E, Grumberg O, Jha S, Lu Y, Veith H (2003) Counterexample-guided abstraction refinement for symbolic model checking. J ACM 50(5):752\u2013794","DOI":"10.1145\/876638.876643"},{"key":"209_CRCortadella98","doi-asserted-by":"crossref","unstructured":"Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A (1998) Deriving petri nets from finite transition systems. IEEE Trans Comput 47(8):859\u2013882","DOI":"10.1109\/12.707587"},{"key":"209_CRbpelspec","unstructured":"Curbera F, Goland Y, Klein J, Leymann F, Roller D, Weerawarana S (2003) Business Process Execution Language for Web Services, Version 1.1. Tech. rep., BEA Systems, International Business Machines Corporation, Microsoft Corporation"},{"key":"209_CRDehnert01","doi-asserted-by":"crossref","unstructured":"Dehnert J, Rittgen P (2001) Relaxed soundness of business processes. LNCS: Advanced Information System Engineering, CAISE 2001 2068:157\u2013170","DOI":"10.1007\/3-540-45341-5_11"},{"key":"209_CRDesel96","doi-asserted-by":"crossref","unstructured":"Desel J, Reisig W (1996) The Synthesis Problem of Petri Nets. Acta Informatica 33(4):297\u2013315","DOI":"10.1007\/s002360050046"},{"key":"209_CRFahland05","unstructured":"Fahland D (2005) Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. Tech. Rep. 190, Humboldt-Universit\u00e4t zu Berlin"},{"key":"209_CRglaesser-asmsemantic-bpel","doi-asserted-by":"crossref","unstructured":"Farahbod R, Gl\u00e4sser U, Vajihollahi M (2004) Specification and Validation of the Business Process Execution Language for Web Services. In: Abstract State Machines, Springer, LNCS, vol 3052, pp 78\u201394","DOI":"10.1007\/978-3-540-24773-9_7"},{"key":"209_CRFerrara04","doi-asserted-by":"crossref","unstructured":"Ferrara A (2004) Web services: a process algebra approach. In: ICSOC, ACM, pp 242\u2013251","DOI":"10.1145\/1035167.1035202"},{"key":"209_CRVerbus-Project","doi-asserted-by":"crossref","unstructured":"Fisteus JA, Fern\u00e1ndez LS, Kloos CD (2004) Formal Verification of BPEL4WS Business Collaborations. In: Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web \u201904), Springer, LNCS","DOI":"10.1007\/978-3-540-30077-9_8"},{"key":"209_CRFu04","doi-asserted-by":"crossref","unstructured":"Fu X, Bultan T, Su J (2004) Analysis of interacting BPEL web services. In: WWW \u201904: Proceedings of the 13th international conference on World Wide Web, ACM Press, pp 621\u2013630","DOI":"10.1145\/988672.988756"},{"key":"209_CRHinz05","unstructured":"Hinz S (2005) Implementation einer Petrinetz-Semantik f\u00fcr BPEL4WS. Diplomarbeit, Humboldt-Universit\u00e4t zu Berlin"},{"key":"209_CRHinzSchmidtStahlBPM05","doi-asserted-by":"crossref","unstructured":"Hinz S, Schmidt K, Stahl C (2005) Transforming BPEL to Petri Nets. In: accepted for Third International Conference on Business Process Management (BPM 2005), Nancy, France, September 2005","DOI":"10.1007\/11538394_15"},{"key":"209_CRWF-Ref-Model","unstructured":"Hollingsworth D (1995) The workflow reference model. Tech. Rep. TC00-1003, Workflow Management Coalition"},{"key":"209_CRFoster03","doi-asserted-by":"crossref","unstructured":"Foster H, Magee J, Uchitel S, Kramer J (2003) Model-based Verification of Web Service Compositions. In: 18th IEEE International Conference on Automated Software Engineering, IEEE Computer Society, pp 152\u2013163","DOI":"10.1109\/ASE.2003.1240303"},{"key":"209_CRNielsen92","unstructured":"Nielsen M, Rozenberg G, Thiagarajan PS (1992) Elementary transition systems. Theoretical Computer Science 96"},{"key":"209_CROberweis96","doi-asserted-by":"crossref","unstructured":"Oberweis A (1996) Modellierung und Ausf\u00fchrung von Workflows mit Petri-Netzen. Teubner Reihe Wirtschaftsinformatik, B.G. Teubner Verlag, Stuttgart, Germany","DOI":"10.1007\/978-3-322-81039-7"},{"key":"209_CRSchmelzer04","unstructured":"Schmelzer HJ, Sesselmann W (2004) Gesch\u00e4ftsprozessmanagement in der Praxis, 4th edn. Hanser"},{"key":"209_CRKSchmidt00","doi-asserted-by":"crossref","unstructured":"Schmidt K (2000) Lola \u2013 a low level analyser. In: Nielsen M, Simpson D (eds) International Conference on Application and Theory of Petri Nets, Springer-Verlag, LNCS, vol 1825, p 465 ff","DOI":"10.1007\/3-540-44988-4_27"},{"key":"209_CRHU-180","unstructured":"Schmidt K (2004) Controlability of Business Processes. Tech. Rep. 180, Humboldt-Universit\u00e4t zu Berlin"},{"key":"209_CRAWPN04","unstructured":"Schmidt K, Stahl C (2004) A Petri net semantic for BPEL4WS \u2013 validation and application. In: Kindler E (ed) Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN\u201904), Universit\u00e4t Paderborn, pp 1\u20136"},{"key":"209_CRStahl04","unstructured":"Stahl C (2004) Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt-Universit\u00e4t zu Berlin"},{"key":"209_CRStahl05BPELtechrep","unstructured":"Stahl C (June, 2005) A Petri Net Semantic for BPEL. Tech. Rep. 188, Humboldt-Universit\u00e4t zu Berlin"},{"key":"209_CRWeinberg04","unstructured":"Weinberg D (2004) Analyse der Bedienbarkeit. Diplomarbeit, Humboldt-Universit\u00e4t zu Berlin"},{"key":"209_CRBPMN","unstructured":"White SA (2004) Business Process Modelling Notation Version 1.0. Tech. rep., Business Process Management Initiative (BPMI)"}],"container-title":["Informatik - Forschung und Entwicklung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-005-0209-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-005-0209-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-005-0209-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T17:56:47Z","timestamp":1586455007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-005-0209-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,21]]},"references-count":28,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2005,10]]}},"alternative-id":["209"],"URL":"https:\/\/doi.org\/10.1007\/s00450-005-0209-5","relation":{},"ISSN":["0178-3564","0949-2925"],"issn-type":[{"value":"0178-3564","type":"print"},{"value":"0949-2925","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,9,21]]}}}