{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T03:39:51Z","timestamp":1780630791242,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642008986","type":"print"},{"value":"9783642008993","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00899-3_12","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T10:24:54Z","timestamp":1237976694000},"page":"208-224","source":"Crossref","is-referenced-by-count":42,"title":["Empirical Studies in Process Model Verification"],"prefix":"10.1007","author":[{"given":"Jan","family":"Mendling","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.268955","volume":"11","author":"O. Lindland","year":"1994","unstructured":"Lindland, O., Sindre, G., S\u00f8lvberg, A.: Understanding quality in conceptual modeling. IEEE Software\u00a011, 42\u201349 (1994)","journal-title":"IEEE Software"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-45594-9_3","volume-title":"Business Process Management. Models, Techniques, and Empirical Studies","author":"J. Becker","year":"2000","unstructured":"Becker, J., Rosemann, M., Uthmann, C.: Guidelines of Business Process Modeling. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. Models, Techniques, and Empirical Studies, pp. 30\u201349. Springer, Berlin (2000)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1057\/palgrave.ejis.3000598","volume":"15","author":"J. Krogstie","year":"2006","unstructured":"Krogstie, J., Sindre, G., J\u00f8rgensen, H.: Process models representing knowledge for action: a revised quality framework. Europ. J. of Inf. Systems\u00a015, 91\u2013102 (2006)","journal-title":"Europ. J. of Inf. Systems"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/j.datak.2004.12.005","volume":"55","author":"D. Moody","year":"2005","unstructured":"Moody, D.: Theoretical and practical issues in evaluating the quality of conceptual models: current state and future directions. Data & Knowl. Eng.\u00a055, 243\u2013276 (2005)","journal-title":"Data & Knowl. Eng."},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1016\/j.datak.2005.07.007","volume":"58","author":"I. Davies","year":"2006","unstructured":"Davies, I., Green, P., Rosemann, M., Indulska, M., Gallo, S.: How do practitioners use conceptual modeling in practice? Data & Knowl. Eng.\u00a058, 358\u2013380 (2006)","journal-title":"Data & Knowl. Eng."},{"key":"12_CR6","volume-title":"Software Engineering Economics","author":"B. Boehm","year":"1981","unstructured":"Boehm, B.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1287\/isre.13.4.363.69","volume":"13","author":"Y. Wand","year":"2002","unstructured":"Wand, Y., Weber, R.: Research Commentary: Information Systems and Conceptual Modeling - A Research Agenda. Information Systems Research\u00a013, 363\u2013376 (2002)","journal-title":"Information Systems Research"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1108\/14637150610657567","volume":"12","author":"M. Rosemann","year":"2006","unstructured":"Rosemann, M.: Potential pitfalls of process modeling: part a. Business Process Management Journal\u00a012, 249\u2013254 (2006)","journal-title":"Business Process Management Journal"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1016\/j.jss.2006.11.015","volume":"80","author":"S. Philippi","year":"2007","unstructured":"Philippi, S., Hill, H.: Communication support for systems engineering - process modelling and animation with april. Journal of Sys. & Softw.\u00a080, 1305\u20131316 (2007)","journal-title":"Journal of Sys. & Softw."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"van Hee, K., Sidorova, N., Somers, L., Voorhoeve, M.: Consistency in model integration. Data & Knowledge Engineering\u00a056 (2006)","DOI":"10.1016\/j.datak.2005.02.004"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.compind.2007.01.001","volume":"58","author":"B. Dongen van","year":"2007","unstructured":"van Dongen, B., Vullers-Jansen, M., Verbeek, H., van der Aalst, W.: Verification of the sap reference models using epc reduction, state-space analysis, and invariants. Computers in Industry\u00a058, 578\u2013601 (2007)","journal-title":"Computers in Industry"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1016\/j.datak.2007.06.019","volume":"64","author":"J. Mendling","year":"2008","unstructured":"Mendling, J., Verbeek, H., van Dongen, B., van der Aalst, W., Neumann, G.: Detection and Prediction of Errors in EPCs of the SAP Reference Model. Data & Knowl. Eng.\u00a064, 312\u2013329 (2008)","journal-title":"Data & Knowl. Eng."},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-76848-7_9","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"J. Mendling","year":"2007","unstructured":"Mendling, J., Neumann, G., van der Aalst, W.: Understanding the occurrence of errors in process models based on metrics. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 113\u2013130. Springer, Heidelberg (2007)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J. Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through sese decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 43\u201355. Springer, Heidelberg (2007)"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.scico.2006.08.003","volume":"65","author":"V. Gruhn","year":"2007","unstructured":"Gruhn, V., Laue, R.: What business process modelers can learn from programmers. Science of Computer Programming\u00a065, 4\u201313 (2007)","journal-title":"Science of Computer Programming"},{"key":"12_CR16","unstructured":"Mendling, J., Reijers, H., van der Aalst, W.: Seven Process Modeling Guidelines (7PMG). In: Qut eprint (2008)"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1145\/356876.356879","volume":"14","author":"W. Adrion","year":"1982","unstructured":"Adrion, W., Branstad, M., Cherniavsky, J.: Validation, verification, and testing of computer software. ACM Computing Surveys\u00a014, 159\u2013192 (1982)","journal-title":"ACM Computing Surveys"},{"key":"12_CR18","unstructured":"IEEE: IEEE Std 610.12-1990 IEEE Standard Glossary of Software Engineering Terminology. IEEE Computer Society Press (1990)"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A. Valmari","year":"1998","unstructured":"Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 429\u2013528. Springer, Heidelberg (1998)"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11568322_9","volume-title":"Conceptual Modeling \u2013 ER 2005","author":"S. Hoppenbrouwers","year":"2005","unstructured":"Hoppenbrouwers, S., Proper, H., van der Weide, T.: A fundamental view on the process of conceptual modeling. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, \u00d3. (eds.) ER 2005. LNCS, vol.\u00a03716, pp. 128\u2013143. Springer, Heidelberg (2005)"},{"key":"12_CR21","volume-title":"Research Directions in Software Technology","author":"B.W. Boehm","year":"1979","unstructured":"Boehm, B.W.: Software engineering; R & D trends and defense needs. In: Research Directions in Software Technology. MIT Press, Cambridge (1979)"},{"key":"12_CR22","volume-title":"Software Engineering","author":"I. Sommerville","year":"2001","unstructured":"Sommerville, I.: Software Engineering, 6th edn. Addison-Wesley, Reading (2001)","edition":"6"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W. Aalst van der","year":"1997","unstructured":"van der Aalst, W.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-45341-5_11","volume-title":"Advanced Information Systems Engineering","author":"J. Dehnert","year":"2001","unstructured":"Dehnert, J., Rittgen, P.: Relaxed Soundness of Business Processes. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 157\u2013170. Springer, Heidelberg (2001)"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/11538394_28","volume-title":"Business Process Management","author":"J. Dehnert","year":"2005","unstructured":"Dehnert, J., Zimmermann, A.: On the suitability of correctness criteria for business process models. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 386\u2013391. Springer, Heidelberg (2005)"},{"key":"12_CR26","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M. Weske","year":"2007","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007)"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"12_CR28","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.datak.2005.02.005","volume":"56","author":"E. Kindler","year":"2006","unstructured":"Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data & Knowledge Engineering\u00a056, 23\u201340 (2006)","journal-title":"Data & Knowledge Engineering"},{"key":"12_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-540-72988-4_31","volume-title":"Advanced Information Systems Engineering","author":"J. Mendling","year":"2007","unstructured":"Mendling, J., van der Aalst, W.: Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 439\u2013453. Springer, Heidelberg (2007)"},{"key":"12_CR30","unstructured":"Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (2007)"},{"key":"12_CR31","unstructured":"Keller, G., N\u00fcttgens, M., Scheer, A.W.: Semantische Prozessmodellierung auf der Grundlage \u201cEreignisgesteuerter Prozessketten (EPK)\u201d. Heft\u00a089, Institut f\u00fcr Wirtschaftsinformatik, Saarbr\u00fccken, Germany (1992)"},{"key":"12_CR32","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":"12_CR33","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol.\u00a040. Cambridge Univ. Press, Cambridge (1995)"},{"key":"12_CR34","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. Verbeek","year":"2000","unstructured":"Verbeek, H., van der Aalst, W.: 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)"},{"key":"12_CR35","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H. Verbeek","year":"2001","unstructured":"Verbeek, H., Basten, T., van der Aalst, W.: Diagnosing Workflow Processes using Woflan. The Computer Journal\u00a044, 246\u2013279 (2001)","journal-title":"The Computer Journal"},{"key":"12_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/11841760_38","volume-title":"Business Process Management","author":"J. Mendling","year":"2006","unstructured":"Mendling, J., Moser, M., Neumann, G., Verbeek, H., van Dongen, B., van der Aalst, W.: Faulty EPCs in the SAP Reference Model. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 451\u2013457. Springer, Heidelberg (2006)"},{"key":"12_CR37","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1093\/comjnl\/bxl074","volume":"50","author":"H. Verbeek","year":"2007","unstructured":"Verbeek, H., van der Aalst, W., ter Hofstede, A.: Verifying workflows with cancellation regions and or-joins: An approach based on relaxed soundness and invariants. The Computer Journal\u00a050, 294\u2013314 (2007)","journal-title":"The Computer Journal"},{"key":"12_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/11538394_41","volume-title":"Business Process Management","author":"B. Dongen van","year":"2005","unstructured":"van Dongen, B., Jansen-Vullers, M.H.: Verification of SAP reference models. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 464\u2013469. Springer, Heidelberg (2005)"},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. In: Proceedings of the ACM SIGPLAN\u201994 Conference on Programming Language Design and Implementation (PLDI). SIGPLAN Notices, vol.\u00a029(6), pp. 171\u2013185 (1994)","DOI":"10.1145\/773473.178258"},{"key":"12_CR40","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1006\/inco.1994.1080","volume":"114","author":"J. Esparza","year":"1994","unstructured":"Esparza, J.: Reduction and synthesis of live and bounded free choice petri nets. Information and Computation\u00a0114, 50\u201387 (1994)","journal-title":"Information and Computation"},{"key":"12_CR41","volume-title":"SAP(R) R\/3 Process Oriented Implementation: Iterative Process Prototyping","author":"G. Keller","year":"1998","unstructured":"Keller, G., Teufel, T.: SAP(R) R\/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, Reading (1998)"},{"key":"12_CR42","unstructured":"Mendling, J., van der Aalst, W., van Dongen, B., Verbeek, H.: Referenzmodell: Sand im Getriebe - Webfehler. iX - Magazin f\u00fcr Professionelle Informationstechnik (in German), 131\u2013133 (2006)"},{"key":"12_CR43","unstructured":"Becker, J., Sch\u00fctte, R.: Handelsinformationssysteme. 2nd edn. Moderne Industrie, Landsberg\/Lech (2004)"},{"key":"12_CR44","volume-title":"Wirtschaftsinformatik: Referenzmodelle f\u00fcr industrielle Gesch\u00e4ftsprozesse","author":"A.W. Scheer","year":"1998","unstructured":"Scheer, A.W.: Wirtschaftsinformatik: Referenzmodelle f\u00fcr industrielle Gesch\u00e4ftsprozesse, 2nd edn. Springer, Heidelberg (1998)","edition":"2"},{"key":"12_CR45","doi-asserted-by":"crossref","unstructured":"Seidlmeier, H.: Prozessmodellierung mit ARIS. Vieweg Verlag (2002)","DOI":"10.1007\/978-3-322-96871-5"},{"key":"12_CR46","volume-title":"Gesch\u00e4ftsprozessanalyse: Ereignisgesteuerte Prozessketten und Objektorientierte Gesch\u00e4ftsprozessmodellierung f\u00fcr Betriebswirtschaftliche Standardsoftware","author":"J. Staud","year":"2006","unstructured":"Staud, J.: Gesch\u00e4ftsprozessanalyse: Ereignisgesteuerte Prozessketten und Objektorientierte Gesch\u00e4ftsprozessmodellierung f\u00fcr Betriebswirtschaftliche Standardsoftware, 3rd edn. Springer, Heidelberg (2006)","edition":"3"},{"key":"12_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-53863-1_22","volume-title":"Advances in Petri Nets 1990","author":"J. Colom","year":"1991","unstructured":"Colom, J., Silva, M.: Convex geometry and semiflows in P\/T nets, A comparative study of algorithms for computation of minimal P-semiflows. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 79\u2013112. Springer, Heidelberg (1991)"},{"key":"12_CR48","volume-title":"Sciences of the Artificial","author":"H. Simon","year":"1996","unstructured":"Simon, H.: Sciences of the Artificial, 3rd edn. MIT Press, Cambridge (1996)","edition":"3"},{"key":"12_CR49","unstructured":"Burton-Jones, A., Meso, P.: How Good are these UML Diagrams? An Empirical Test of the Wand and Weber Good Decomposition Model. In: Applegate, L., Galliers, R., DeGross, J. (eds.) Proceedings of ICIS, pp. 101\u2013114 (2002)"},{"key":"12_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-75183-0_4","volume-title":"Business Process Management","author":"J. Mendling","year":"2007","unstructured":"Mendling, J., Reijers, H., Cardoso, J.: What makes process models understandable? In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 48\u201363. Springer, Heidelberg (2007)"},{"key":"12_CR51","doi-asserted-by":"crossref","unstructured":"Mendling, J., Strembeck, M.: Influence factors of understanding business process models. In: Abramowicz, W., Fensel, D. (eds.) Proc. of the 11th International Conference on Business Information Systems (BIS 2008). LNBIP, vol.\u00a07, pp. 142\u2013153 (2008)","DOI":"10.1007\/978-3-540-79396-0_13"},{"key":"12_CR52","series-title":"LNBIP","first-page":"585","volume-title":"UNISCON 2008","author":"R. Laue","year":"2008","unstructured":"Laue, R., Mendling, J.: The impact of structuredness on error probability of process models. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON 2008. LNBIP, vol.\u00a05, pp. 585\u2013590. Springer, Heidelberg (2008)"},{"key":"12_CR53","unstructured":"Mendling, J., Reijers, H.: How to define activity labels for business process models? In: Oberweis, A., Hesse, W. (eds.) Proc. of the Third AIS SIGSAND Europe 2008. LNI (2008)"},{"key":"12_CR54","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1989","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures - Part 1 and Part 2. Acta Informatica\u00a027, 315\u2013368 (1989)","journal-title":"Acta Informatica"},{"key":"12_CR55","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J. Cortadella","year":"1998","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving petri nets from finite transition systems. IEEE Transactions on Computers\u00a047, 859\u2013882 (1998)","journal-title":"IEEE Transactions on Computers"},{"key":"12_CR56","doi-asserted-by":"crossref","unstructured":"Mendling, J., van Dongen, B., van der Aalst, W.: Getting Rid of the OR-Join in Business Process Models. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp. 3\u201314 (2007)","DOI":"10.1109\/EDOC.2007.10"},{"key":"12_CR57","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1504\/IJWGS.2006.008880","volume":"2","author":"W. Zhao","year":"2006","unstructured":"Zhao, W., Hauser, R., Bhattacharya, K., Bryant, B., Cao, F.: Compiling business processes: untangling unstructured loops in irreducible flow graphs. Int. Journal of Web and Grid Services\u00a02, 68\u201391 (2006)","journal-title":"Int. Journal of Web and Grid Services"},{"key":"12_CR58","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.infsof.2006.11.004","volume":"50","author":"W. Aalst van der","year":"2008","unstructured":"van der Aalst, W., Lassen, K.: Translating unstructured workflow processes to readable BPEL: Theory and implementation. Inf.& Softw. T.\u00a050, 131\u2013159 (2008)","journal-title":"Inf.& Softw. T."},{"key":"12_CR59","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap, pp. 35\u201346 (2000)","DOI":"10.1145\/336512.336523"},{"key":"12_CR60","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1109\/69.755629","volume":"11","author":"W. Tsai","year":"1999","unstructured":"Tsai, W., Vishnuvajjala, R.: Verification and Validation of Knowledge-Based Systems. IEEE Transactions on Knowledge and Data Engineering\u00a011, 202\u2013212 (1999)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"12_CR61","doi-asserted-by":"crossref","unstructured":"Sargent, R.: Verification and validation of simulation models, pp. 130\u2013143 (2005)","DOI":"10.1109\/WSC.2005.1574246"},{"key":"12_CR62","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.datak.2005.05.007","volume":"58","author":"P. Frederiks","year":"2006","unstructured":"Frederiks, P., van der Weide, T.: Information modeling: The process and the required competencies of its participants. Data & Knowl. Eng.\u00a058, 4\u201320 (2006)","journal-title":"Data & Knowl. Eng."}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00899-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T17:29:48Z","timestamp":1739035788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00899-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642008986","9783642008993"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00899-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}