{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T05:20:28Z","timestamp":1736054428769,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540282389"},{"type":"electronic","value":"9783540319290"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11538394_41","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:33:54Z","timestamp":1127831634000},"page":"464-469","source":"Crossref","is-referenced-by-count":3,"title":["Verification of SAP Reference Models"],"prefix":"10.1007","author":[{"given":"B. F.","family":"van Dongen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. H.","family":"Jansen-Vullers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"key":"41_CR2","unstructured":"Bernus, P.: GERAM: Generalised Enterprise Reference Architecture and Methodology"},{"key":"41_CR3","unstructured":"Curran, T., Keller, G.: SAP R\/3 Business Blueprint: Understanding the Business Process Reference Model, Upper Saddle River (1997)"},{"key":"41_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: The ProM framework: A new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 444\u2013454. Springer, Heidelberg (2005)"},{"key":"41_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/11431855_26","volume-title":"Advanced Information Systems Engineering","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W(E.): Verification of ePCs: Using reduction rules and petri nets. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 372\u2013386. Springer, Heidelberg (2005)"},{"key":"41_CR6","volume-title":"BETA Working Paper Series, WP 142","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., Vullers-Jansen, M.H.: EPC Verification in the ARIS for MySAP reference model database. In: BETA Working Paper Series, WP 142. Eindhoven University of Technology, Eindhoven (2005)"},{"issue":"1","key":"41_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF02683509","volume":"1","author":"P. Fettke","year":"2003","unstructured":"Fettke, P., Loos, P.: Classification of Reference Models - a methodology and its application. Information Systems and e-Business Management\u00a01(1), 35\u201353 (2003)","journal-title":"Information Systems and e-Business Management"},{"key":"41_CR8","volume-title":"Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik, Heft 89 (in German)","author":"G. Keller","year":"1992","unstructured":"Keller, G., N\u00fcttgens, M., Scheer, A.W.: Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). In: Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbr\u00fccken (1992)"},{"key":"41_CR9","volume-title":"SAP R\/3 Process Oriented Implementation","author":"G. Keller","year":"1998","unstructured":"Keller, G., Teufel, T.: SAP R\/3 Process Oriented Implementation. Addison-Wesley, Reading (1998)"},{"key":"41_CR10","volume-title":"Production Workflow: Concepts and Techniques","author":"F. Leymann","year":"1999","unstructured":"Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Englewood Cliffs (1999)"},{"key":"41_CR11","first-page":"595","volume-title":"Application Reference Models and Building Blocks for Management and Control (ERP systems)","author":"M. Rosemann","year":"2003","unstructured":"Rosemann, M.: Application Reference Models and Building Blocks for Management and Control (ERP systems), pp. 595\u2013616. Springer, Berlin (2003)"},{"key":"41_CR12","unstructured":"Rosemann, M., van der Aalst, W.M.P.: A Configurable Reference Modelling Language. QUT Technical report, FIT-TR-2003-05, Queensland University of Technology, Brisbane (2003)"},{"key":"41_CR13","unstructured":"Sadiq, W., Orlowska, M.E.: Modeling and verification of workflow graphs. Technical Report No. 386, Department of Computer Science. The University of Queensland, Australia (1996)"},{"key":"41_CR14","volume-title":"Business Process Engineering, Reference Models for Industrial Enterprises","author":"A.W. Scheer","year":"1994","unstructured":"Scheer, A.W.: Business Process Engineering, Reference Models for Industrial Enterprises. Springer, Berlin (1994)"},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"Scheer, A.W.: Business Process Modelling, 3rd edn. (2000)","DOI":"10.1007\/978-3-642-57108-4"},{"key":"41_CR16","unstructured":"Silverston, L.: The Data Model Resource Book. A Library of Universal Data Models for all Enterprises, vol.\u00a01 (2001) (revised edition)"},{"key":"41_CR17","unstructured":"Silverston, L.: The Data Model Resource Book. A Library of Data Models for Specific Industries, vol.\u00a02 (2001) (revised edition)"},{"key":"41_CR18","unstructured":"Frank, U.: Conceptual Modelling as the Core of Information Systems Discipline - Perspectives and Epistemological Challanges. In: Proceedings of the America Conference on Information Systems - AMCIS 1999, Milwaukee, pp. 695\u2013698 (1999)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11538394_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T15:55:28Z","timestamp":1736006128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11538394_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282389","9783540319290"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11538394_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}