{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:57:03Z","timestamp":1725987423646},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11767138_21","type":"book-chapter","created":{"date-parts":[[2006,7,28]],"date-time":"2006-07-28T10:32:54Z","timestamp":1154082774000},"page":"303-318","source":"Crossref","is-referenced-by-count":4,"title":["Dynamic Workflow Modeling and Verification"],"prefix":"10.1007","author":[{"given":"Jiacun","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Rosca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"21_CR2","unstructured":"van der Aalst, W.M.P.: Three Good Reasons for Using a Petri Net-Based Workflow Management System. In: Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC 1996), pp. 179\u2013201 (November 1996)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Eindhoven University of Technology, Eindhoven (2000)","DOI":"10.1007\/10722620_2"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Adam, N.R., Atluri, V., Huang, W.: Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems, 131\u2013158 (March 1998)","DOI":"10.1023\/A:1008656726700"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1008703327801","volume":"16","author":"A. Agostini","year":"2000","unstructured":"Agostini, A., DeMichelis, G.: A light workflow management system using simple process models. International Journal of Collaborative Computing\u00a0(16), 335\u2013363 (2000)","journal-title":"International Journal of Collaborative Computing"},{"key":"21_CR7","unstructured":"Attie, P.C., Singh, M.P., Sheth, A., Rusibkiewicz, M.: Specifying Interdatabase Dependencies. In: Proc. 19th International Conf. on Very Large Database, pp. 134\u2013145 (1993)"},{"issue":"3","key":"21_CR8","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0169-023X(97)00033-5","volume":"24","author":"F. Casati","year":"1998","unstructured":"Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data and Knowledge Engineering Journal\u00a024(3), 211\u2013238 (1998)","journal-title":"Data and Knowledge Engineering Journal"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Dourish, P.: Process Descriptions as Organizational Accounting Devices: The Dual use of Workflow Technologies, Paper presented at GROUP 2001 (ACM), September 30-October 3, 2001, Boulder, Colorado, USA (2001)","DOI":"10.1145\/500286.500297"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45594-9_13","volume-title":"Business Process Management","author":"C.A. Ellis","year":"2000","unstructured":"Ellis, C.A., Keddara, K.: A Workflow Change Is a Workflow. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 201\u2013534. Springer, Heidelberg (2000)"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Kradolfer, M., Geppert, A.: Dynamic workflow schema evolution based on workflow type versioning and workflow migration. In: Proceedings of CoopIS 1999, Edinburgh, pp. 104\u2013114 (1999)","DOI":"10.1109\/COOPIS.1999.792162"},{"volume-title":"Workflow Handbook 1997, Workflow Management Coalition","year":"1997","key":"21_CR12","unstructured":"Lawrence, P. (ed.): Workflow Handbook 1997, Workflow Management Coalition. John Wiley and Sons, New York (1997)"},{"key":"21_CR13","series-title":"Wiley Series on Parallel and Distributed Computing","volume-title":"Internet-Based Workflow Management: Towards a Semantic Web","author":"D.C. Marinescu","year":"2002","unstructured":"Marinescu, D.C.: Internet-Based Workflow Management: Towards a Semantic Web. Wiley Series on Parallel and Distributed Computing, vol.\u00a040. Wiley-Interscience, NY (2002)"},{"issue":"2","key":"21_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M. Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: ADEPT flex \u2013 supporting dynamic changes of workflows without losing control. Journal of Intelligent Information Systems\u00a010(2), 93\u2013129 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1023\/A:1020372710433","volume":"9","author":"D. Rosca","year":"2002","unstructured":"Rosca, D., Greenspan, S., Wild, C.: Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle. Automated Software Engineering Journal\u00a09, 361\u2013404 (2002)","journal-title":"Automated Software Engineering Journal"},{"key":"21_CR16","unstructured":"Singh, M.P., Meredith, G., Tomlinson, C., Attie, P.C.: An Event Algebra for Specifying and Scheduling Workflows. In: Proceedings 4th International Conference on Database System for Advance Application, pp. 53\u201360 (1995)"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Stoute, M., Wang, J., Rosca, D.: Workflow Management Tool Support for an Incident Command System. In: Proceedings of the ICNSC 2006, Miami, FL (accepted, 2006)","DOI":"10.1109\/ICNSC.2006.1673232"},{"key":"21_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5537-7","volume-title":"Timed Petri Nets: Theory and Application","author":"J. Wang","year":"1998","unstructured":"Wang, J.: Timed Petri Nets: Theory and Application. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/11538394_10","volume-title":"Business Process Management","author":"J. Wang","year":"2005","unstructured":"Wang, J., Rosca, D., Tepfenhart, W., Milewski, A., Stoute, M.: An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 137\u2013152. Springer, Heidelberg (2005)"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Weske, M.: Formal Foundation and Conceptual Design of dynamic adaptations in a workflow management system. In: Proceedings of HICSS-34 (2001)","DOI":"10.1109\/HICSS.2001.927082"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767138_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T09:20:55Z","timestamp":1555752055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767138_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783319981765","9783319981772"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11767138_21","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2006]]}}}