{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:37:31Z","timestamp":1725601051177},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642227226"},{"type":"electronic","value":"9783642227233"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22723-3_3","type":"book-chapter","created":{"date-parts":[[2011,8,19]],"date-time":"2011-08-19T01:04:06Z","timestamp":1313715846000},"page":"39-55","source":"Crossref","is-referenced-by-count":4,"title":["Validation of Agile Workflows Using Simulation"],"prefix":"10.1007","author":[{"given":"Kai","family":"Jander","sequence":"first","affiliation":[]},{"given":"Lars","family":"Braubach","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Pokahr","sequence":"additional","affiliation":[]},{"given":"Winfried","family":"Lamersdorf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Schmelzer, W.S.H.J.: Gesch\u00e4ftsprozessmanagement in der Praxis. Hanser Fachbuchverlag (2008)"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"1532","DOI":"10.1145\/1141277.1141633","volume-title":"SAC 2006: Proceedings of the 2006 ACM symposium on Applied computing","author":"B. List","year":"2006","unstructured":"List, B., Korherr, B.: An evaluation of conceptual business process modelling languages. In: SAC 2006: Proceedings of the 2006 ACM symposium on Applied computing, pp. 1532\u20131539. ACM, New York (2006)"},{"key":"3_CR3","first-page":"293","volume":"5","author":"H.H. Bi","year":"2004","unstructured":"Bi, H.H., Zhao, J.L.: Applying propositional logic to workflow verification. Information & Software Technology\u00a05, 293\u2013318 (2004)","journal-title":"Information & Software Technology"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: 18th IEEE International Conference on Automated Software Engineering, Montreal, Canada (2003)","DOI":"10.1109\/ASE.2003.1240303"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. In: The 11th International Conference on Advanced Information System Engineering., vol.\u00a025(2), pp. 117\u2013134 (2000)","DOI":"10.1016\/S0306-4379(00)00012-0"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"issue":"12","key":"3_CR7","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Information & Software Technology\u00a050(12), 1281\u20131294 (2008)","journal-title":"Information & Software Technology"},{"key":"3_CR8","unstructured":"Enstone, L.J., Clark, M.F.: BPMN and Simulation, Lanner Group Limited (2006), \n                  \n                    http:\/\/www.dynamic.co.kr\/Witness_Training_Center\/Articles\/Bpmn20-20simulation.pdf"},{"key":"3_CR9","unstructured":"iGrafx Process Corel Inc. (2009), \n                  \n                    http:\/\/www.igrafx.de\/products\/process\/index.html"},{"key":"3_CR10","unstructured":"Corporate Modeler Suite Casewise Ltd. (2009), \n                  \n                    http:\/\/www.casewise.com\/Products\/CorporateModelerSuite\/"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-45594-9_24","volume-title":"Business Process Management","author":"A.-W. Scheer","year":"2000","unstructured":"Scheer, A.-W., N\u00fcttgens, M.: ARIS architecture and reference models for business process management. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 376\u2013509. Springer, Heidelberg (2000)"},{"key":"3_CR12","unstructured":"Business Process Modeling Notation (BPMN) Specification, Object Management Group (OMG) (February 2008), \n                  \n                    http:\/\/www.bpmn.org\/Documents\/BPMN_1-1_Specification.pdf"},{"key":"3_CR13","series-title":"SCI","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15211-5_9","volume-title":"Intelligent Distributed Computing IV","author":"L. Braubach","year":"2010","unstructured":"Braubach, L., Pokahr, A., Jander, K., Lamersdorf, W.: Go4Flex: Goal-oriented process modelling. In: Essaaidi, M., Malgeri, M., Badica, C. (eds.) Intelligent Distributed Computing IV. SCI, vol.\u00a0315, pp. 77\u201387. Springer, Heidelberg (2010)"},{"key":"3_CR14","volume-title":"Intention, Plans, and Practical Reason","author":"M. Bratman","year":"1987","unstructured":"Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-642-16178-0_11","volume-title":"Multiagent System Technologies","author":"A. Pokahr","year":"2010","unstructured":"Pokahr, A., Braubach, L., Jander, K.: Unifying agent and component concepts. In: Dix, J., Witteveen, C. (eds.) MATES 2010. LNCS, vol.\u00a06251, pp. 100\u2013112. Springer, Heidelberg (2010)"},{"key":"3_CR16","unstructured":"Workflow Reference Model, Workflow Management Coalition (WfMC) (January 1995), \n                  \n                    http:\/\/www.wfmc.org\/reference-model.html"},{"key":"3_CR17","unstructured":"Burmeister, B., Arnold, M., Copaciu, F., Rimassa, G.: Bdi-agents for agile goal-oriented business processes. In: AAMAS 2008: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, pp. 37\u201344 (2008)"}],"container-title":["Lecture Notes in Computer Science","Languages, Methodologies, and Development Tools for Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22723-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T18:20:43Z","timestamp":1554056443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22723-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642227226","9783642227233"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22723-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}