{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T15:12:03Z","timestamp":1775229123696,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540282389","type":"print"},{"value":"9783540319290","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11538394_10","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T10:33:54Z","timestamp":1127817234000},"page":"137-152","source":"Crossref","is-referenced-by-count":15,"title":["An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis"],"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"}]},{"given":"William","family":"Tepfenhart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allen","family":"Milewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Stoute","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","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 (1998)","DOI":"10.1023\/A:1008656726700"},{"key":"10_CR2","unstructured":"Attie, P.C., Singh, M.P., Sheth, A., Rusibkiewicz, M.: Specifying Interdatabase Dependencies. In: Proceedings 19th International Conference on Very Large Database, pp. 134\u2013145 (1993)"},{"key":"10_CR3","volume-title":"Paper presented at GROUP 2001","author":"P. Dourish","year":"2001","unstructured":"Dourish, P.: Process Descriptions as Organizational Accounting Devices: The Dual use of Workflow Technologies. In: Paper presented at GROUP 2001, Boulder, Colorado, USA, September 30-October 3. ACM, New York (2001)"},{"key":"10_CR4","volume-title":"Workflow Handbook 1997, Workflow Management Coalition","year":"1997","unstructured":"Lawrence, P. (ed.): Workflow Handbook 1997, Workflow Management Coalition. John Wiley and Sons, New York (1997)"},{"key":"10_CR5","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, Hoboken (2002)"},{"key":"10_CR6","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":"10_CR7","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":"10_CR8","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":"10_CR9","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), November 1996, pp. 179\u2013201 (1996)"},{"key":"10_CR10","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":"10_CR11","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) ISBN: 0-7923-8270-6"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Wodtke, D., Weikum, G.: A Formal Foundation for Distributed Workflow Execution Based State Charts. In: Proceedings 18th International Conference on Database theory (1997)","DOI":"10.1007\/3-540-62222-5_48"},{"key":"10_CR13","unstructured":"Zisman, M.D.: Representation, Specification and Automation of Office Procedures., PhD thesis, University of Pennsylvania, Warton School of Business (1977)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11538394_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T01:18:01Z","timestamp":1553563081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11538394_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282389","9783540319290"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11538394_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}