{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T23:46:34Z","timestamp":1768520794893,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642331541","type":"print"},{"value":"9783642331558","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33155-8_8","type":"book-chapter","created":{"date-parts":[[2012,9,7]],"date-time":"2012-09-07T07:08:28Z","timestamp":1347001708000},"page":"98-106","source":"Crossref","is-referenced-by-count":6,"title":["A Tool for Animating BPMN Token Flow"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Allweyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Schweitzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"OMG (ed.): Business Process Model and Notation (BPMN) Version 2.0. OMG document number: formal\/2011-01-03 (2011), \n                    \n                      http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF"},{"key":"8_CR2","unstructured":"Allweyer, T.: BPMN 2.0. Introduction to the Standard for Business Process Modeling. BoD, Norderstedt (2010)"},{"key":"8_CR3","volume-title":"BPMN 2.0 Distilled","author":"P. Briol","year":"2010","unstructured":"Briol, P.: BPMN 2.0 Distilled. Lulu, Raleigh (2010)"},{"key":"8_CR4","doi-asserted-by":"publisher","DOI":"10.3139\/9783446429871","volume-title":"Praxishandbuch BPMN 2.0","author":"J. Freund","year":"2012","unstructured":"Freund, J., R\u00fccker, B.: Praxishandbuch BPMN 2.0, 3rd edn. Hanser, Munich Vienna (2012)","edition":"3"},{"key":"8_CR5","unstructured":"White, S.A., Miers, D.: BPMN Modeling and Reference Guide. Future Strategies, Lighthouse Point (2008)"},{"key":"8_CR6","volume-title":"Business Process Management","author":"M. Weske","year":"2007","unstructured":"Weske, M.: Business Process Management. Springer, Heidelberg (2007)"},{"key":"8_CR7","unstructured":"Dive Into Business Process Management, \n                    \n                      http:\/\/www.diveintobpm.org"},{"key":"8_CR8","unstructured":"Workflow Patterns, \n                    \n                      http:\/\/www.workflowpatterns.com"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-642-00416-2_18","volume-title":"Handbook on Business Process Management 1","author":"C. Ouyang","year":"2010","unstructured":"Ouyang, C., et al.: Workflow Management. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 1, pp. 387\u2013418. Springer, Heidelberg (2010)"},{"key":"8_CR10","first-page":"71","volume-title":"BPMN 2.0 Handbook","author":"L. Dugan","year":"2012","unstructured":"Dugan, L., Palmer, N.: Making a BPMN 2.0 Model Executable. In: Fischer, L. (ed.) BPMN 2.0 Handbook, 2nd edn., pp. 71\u201391. Future Strategies, Lighthouse Point (2012)","edition":"2"},{"key":"8_CR11","unstructured":"Inubit Suite, \n                    \n                      http:\/\/www.inubit.com\/en\/inubit-suite.html"},{"key":"8_CR12","unstructured":"IYOPRO, \n                    \n                      http:\/\/www.iyopro.com\/?lang=EN"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-642-00416-2_15","volume-title":"Handbook on Business Process Management 1","author":"W. Aalst van der","year":"2010","unstructured":"van der Aalst, W., et al.: Business Process Simulation. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 1, pp. 313\u2013338. Springer, Heidelberg (2010)"},{"key":"8_CR14","first-page":"135","volume-title":"BPMN 2.0 Handbook","author":"J. Januszczak","year":"2012","unstructured":"Januszczak, J.: Simulation for Business Process Management. In: Fischer, L. (ed.) BPMN 2.0 Handbook, 2nd edn., pp. 135\u2013150. Future Strategies, Lighthouse Point (2012)","edition":"2"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/WSC.2006.323134","volume-title":"Proceedings of the 2006 Winter Simulation Conference","author":"A. Waller","year":"2006","unstructured":"Waller, A., Clark, M., Enston, L.: L-SIM: Simulating BPMN Diagrams with a Purpose Built Engine. In: Perrone, L.F., et al. (eds.) Proceedings of the 2006 Winter Simulation Conference, pp. 591\u2013597. IEEE, Piscataway (2006), \n                    \n                      http:\/\/www.informs-sim.org\/wsc06papers\/073.pdf"},{"key":"8_CR16","unstructured":"iGrafx Process (2011), \n                    \n                      http:\/\/www.igrafx.com\/products\/process"},{"key":"8_CR17","unstructured":"L-SIM Server for Business Process Simulation, \n                    \n                      http:\/\/www.lanner.com\/en\/l-sim.cfm"},{"key":"8_CR18","volume-title":"BPMN Method & Style","author":"B. Silver","year":"2011","unstructured":"Silver, B.: BPMN Method & Style, 2nd edn. Cody-Cassidy Press, Aptos (2011)","edition":"2"},{"issue":"6","key":"8_CR19","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.compind.2007.01.001","volume":"58","author":"B.F. Dongen van","year":"2007","unstructured":"van Dongen, B.F., Jansen-Vullers, M., Verbeek, H.M.W.E., van der Aalst, W.M.P.: Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Comput. Ind.\u00a058(6), 578\u2013601 (2007)","journal-title":"Comput. Ind."},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-00899-3_12","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"J. Mendling","year":"2009","unstructured":"Mendling, J.: Empirical Studies in Process Model Verification. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol.\u00a05460, pp. 208\u2013224. Springer, Heidelberg (2009)"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-03848-8_19","volume-title":"Business Process Management","author":"D. Fahland","year":"2009","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous Soundness Checking of Industrial Business Process Models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 278\u2013293. Springer, Heidelberg (2009)"},{"key":"8_CR22","unstructured":"Innovator for Business Analysts, \n                    \n                      http:\/\/www.mid.de\/en\/products\/innovator-for-business-analysts"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"van Gorp, P., Dijkman, R.: BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules: extended version. Beta Working Paper series 353. Eindhoven University of Technology (2011), \n                    \n                      http:\/\/cms.ieis.tue.nl\/Beta\/Files\/WorkingPapers\/wp_353.pdf","DOI":"10.1007\/978-3-642-16298-5_4"},{"key":"8_CR24","unstructured":"S\u00f6rensen, O.: Semantics of Joins in Cyclic BPMN Workflows. Diploma Thesis. Christian-Albrechts-University Kiel (2009), \n                    \n                      http:\/\/www.is.informatik.uni-kiel.de\/~ove\/research\/papers\/2009-OrJoin.pdf"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-69534-9_35","volume-title":"Advanced Information Systems Engineering","author":"M. zur Muehlen","year":"2008","unstructured":"zur Muehlen, M., Recker, J.: How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 465\u2013479. Springer, Heidelberg (2008)"},{"key":"8_CR26","unstructured":"Signavio Process Editor, \n                    \n                      http:\/\/www.signavio.com"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Model and Notation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33155-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:36:42Z","timestamp":1558395402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33155-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331541","9783642331558"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33155-8_8","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}