{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:13:40Z","timestamp":1771042420350,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540437871","type":"print"},{"value":"9783540480686","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_1","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T11:01:43Z","timestamp":1182164503000},"page":"1-22","source":"Crossref","is-referenced-by-count":41,"title":["Making Work Flow: On the Application of Petri Nets to Business Process Management"],"prefix":"10.1007","author":[{"given":"Wil M. P.","family":"van der Aalst","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. M. P. Aalst van der","year":"1998","unstructured":"W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21\u201366, 1998.","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"10","key":"1_CR2","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W. M. P. Aalst van der","year":"1999","unstructured":"W. M. P. van der Aalst. Formalization and Verification of Event-driven Process Chains. Information and Software Technology, 41(10):639\u2013650, 1999.","journal-title":"Information and Software Technology"},{"issue":"3","key":"1_CR3","first-page":"345","volume":"35","author":"W. M. P. Aalst van der","year":"1999","unstructured":"W. M. P. van der Aalst. Woflan: A Petri-net-based Workflow Analyzer. Systems Analysis-Modelling-Simulation, 35(3):345\u2013357, 1999.","journal-title":"Systems Analysis-Modelling-Simulation"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"W. M. P. van der Aalst. Loosely Coupled Interorganizational Workflows: Modeling and Analyzing Workflows Crossing Organizational Boundaries. Information and Management, 37(2):67\u201375, March 2000.","DOI":"10.1016\/S0378-7206(99)00038-5"},{"key":"1_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management: Models, Techniques, and Empirical Studies","author":"W. M. P. Aalst van der","year":"2000","unstructured":"W. M. P. van der Aalst. Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques. In W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 161\u2013183. Springer-Verlag, Berlin, 2000."},{"key":"1_CR6","volume-title":"Making Work Flow: On the Design, Analysis and Enactment of Business Processes (inaugural lecture given at 30 November 2001)","author":"W. M. P. Aalst van der","year":"2001","unstructured":"W. M. P. van der Aalst. Making Work Flow: On the Design, Analysis and Enactment of Business Processes (inaugural lecture given at 30 November 2001). Eindhoven University of Technology, Eindhoven, The Netherlands, 2001."},{"key":"1_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-45740-2_4","volume-title":"Application and Theory of Petri Nets 2001","author":"W. M. P. Aalst van der","year":"2001","unstructured":"W. M. P. van der Aalst and T. Basten. Identifying Commonalities and Differences in Object Life Cycles using Behavioral Inheritance. In J.M. Colom and M. Koutny, editors, Application and Theory of Petri Nets 2001, volume 2075 of Lecture Notes in Computer Science, pages 32\u201352. Springer-Verlag, Berlin, 2001."},{"issue":"1\u20132","key":"1_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W. M. P. Aalst van der","year":"2002","unstructured":"W. M. P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1\u20132):125\u2013203, 2002.","journal-title":"Theoretical Computer Science"},{"key":"1_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Business Process Management: Models, Techniques, and Empirical Studies","year":"2000","unstructured":"W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors. Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2000."},{"issue":"2","key":"1_CR10","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1111\/1467-9574.00139","volume":"54","author":"W. M. P. Aalst van der","year":"2000","unstructured":"W. M. P. van der Aalst, K.M. van Hee, and H.A. Reijers. Analysis of Discrete-time Stochastic Petri Nets. Statistica Neerlandica, 54(2):237\u2013255, 2000.","journal-title":"Statistica Neerlandica"},{"issue":"1","key":"1_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0306-4379(00)00008-9","volume":"25","author":"W. M. P. Aalst van der","year":"2000","unstructured":"W. M. P. van der Aalst and A.H.M. ter Hofstede. Verification of Workflow Task Structures: A Petri-net-based Approach. Information Systems, 25(1):43\u201369, 2000.","journal-title":"Information Systems"},{"key":"1_CR12","unstructured":"W. M. P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow Patterns Home Page. http:\/\/www.tm.tue.nl\/it\/research\/patterns\/ ."},{"key":"1_CR13","series-title":"Lect Notes Comput Sci","first-page":"18","volume-title":"7th International Conference on Cooperative Information Systems (CoopIS 2000)","author":"W. M. P. Aalst van der","year":"2000","unstructured":"W. M. P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Advanced Workflow Patterns. In O. Etzion and P. Scheuermann, editors, 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 18\u201329. Springer-Verlag, Berlin, 2000."},{"key":"1_CR14","unstructured":"W. M. P. van der Aalst and S. Jablonski, editors. Flexible Workflow Technology Driving the Networked Economy, Special Issue of the International Journal of Computer Systems, Science, and Engineering, volume 15, number 5. CRL Publishing Ltd, 2000."},{"key":"1_CR15","series-title":"Lect Notes Comput Sci","first-page":"140","volume-title":"Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE\u201901)","author":"W. M. P. Aalst van der","year":"2001","unstructured":"W. M. P. van der Aalst and M. Weske. The P2P approach to Interorganizational Workflows. In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE\u201901), volume 2068 of Lecture Notes in Computer Science, pages 140\u2013156. Springer-Verlag, Berlin, 2001."},{"key":"1_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/3-540-45594-9_14","volume-title":"Business Process Management: Models, Techniques, and Empirical Studies","author":"A. Agostini","year":"2000","unstructured":"A. Agostini and G. De Michelis. Improving Flexibility of Workflow Management Systems. In W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 218\u2013234. Springer-Verlag, Berlin, 2000."},{"key":"1_CR17","series-title":"Cambridge tracts in theoretical computer science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra, volume 18 of Cambridge tracts in theoretical computer science. Cambridge University Press, Cambridge, 1990."},{"issue":"2","key":"1_CR18","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"F. Baskett, K.M. Chandy, R.R. Muntz, and F.G. Palacios. Open, Closed and Mixed Networks of Queues with Different Classes of Customers. Journal of the Association of Computing Machinery, 22(2):248\u2013260, April 1975.","journal-title":"Journal of the Association of Computing Machinery"},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T. Basten","year":"2001","unstructured":"T. Basten and W. M. P. van der Aalst. Inheritance of Behavior. Journal of Logic and Algebraic Programming, 47(2):47\u2013145, 2001.","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"1_CR20","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison Wesley, Reading, MA, USA, 1998."},{"issue":"5","key":"1_CR21","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1287\/mnsc.42.5.768","volume":"42","author":"J.A. Buzacott","year":"1996","unstructured":"J.A. Buzacott. Commonalities in Reengineerd Business Processes: Models and Issues. Management Science, 42(5):768\u2013782, 1996.","journal-title":"Management Science"},{"issue":"3","key":"1_CR22","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J.E. Cook","year":"1998","unstructured":"J.E. Cook and A.L. Wolf. Discovering Models of Software Processes from Event-Based Data. ACM Transactions on Software Engineering and Methodology, 7(3):215\u2013249, 1998.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"1_CR23","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995."},{"key":"1_CR24","unstructured":"C.A. Ellis. Information Control Nets: A Mathematical Model of Office Information Flow. In Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, pages 225\u2013240, Boulder, Colorado, 1979. ACM Press."},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/224019.224021","volume-title":"Proceedings of the Conference on Organizational Computing Systems","author":"C.A. Ellis","year":"1995","unstructured":"C.A. Ellis, K. Keddara, and G. Rozenberg. Dynamic change within workflow systems. In N. Comstock, C. Ellis, R. Kling, J. Mylopoulos, and S. Kaplan, editors, Proceedings of the Conference on Organizational Computing Systems, pages 10\u201321, Milpitas, California, August 1995. ACM SIGOIS, ACM Press, New York."},{"key":"1_CR26","unstructured":"C.A. Ellis and G. Nutt. Workflow: The Process Spectrum. In A. Sheth, editor, Proceedings of the NSF Workshop on Workflow and Process Automation in Information Systems, pages 140\u2013145, Athens, Georgia, May 1996."},{"key":"1_CR27","volume-title":"Industrial Dynamics","author":"J.W. Forrester","year":"1968","unstructured":"J.W. Forrester. Industrial Dynamics. MIT Press, Cambridge, MA, 1968."},{"key":"1_CR28","volume-title":"The Goal","author":"E.M. Goldratt","year":"1984","unstructured":"E.M. Goldratt and J. Cox. The Goal. Gower, Aldershot, UK, 1984."},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"1_CR30","first-page":"23","volume-title":"Proceedings of the Seventeenth UK Performance Engineering Workshop","author":"K.M. Hee van","year":"2001","unstructured":"K.M. van Hee, H.A. Reijers, H.M.W. Verbeek, and L. Zerguini. On the Optimal Allocation of Resources in Stochastic Workflow Nets. In K. Djemame and M. Kara, editors, Proceedings of the Seventeenth UK Performance Engineering Workshop, pages 23\u201334. University of Leeds, Leeds, UK, 2001."},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1090\/S0002-9904-1902-00923-3","volume":"8","author":"D. Hilbert","year":"1902","unstructured":"D. Hilbert. Mathematical problems. Bulletin of the American Mathematical Society, 8:437\u2013479, 1902.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"1_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/BFb0016217","volume-title":"Advances in Petri Nets 1985","author":"A. W. Holt","year":"1985","unstructured":"A. W. Holt. Coordination Technology and Petri Nets. In G. Rozenberg, editor, Advances in Petri Nets 1985, volume 222 of Lecture Notes in Computer Science, pages 278\u2013296. Springer-Verlag, Berlin, 1985."},{"key":"1_CR33","volume-title":"Workflow Management: Modeling Concepts, Architecture, and Implementation","author":"S. Jablonski","year":"1996","unstructured":"S. Jablonski and C. Bussler. Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London, UK, 1996."},{"key":"1_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-45594-9_15","volume-title":"Business Process Management: Models, Techniques, and Empirical Studies","author":"E. Kindler","year":"2000","unstructured":"E. Kindler, A. Martens, and W. Reisig. Inter-Operability of Workflow Applications: Local Criteria for Global Soundness. In W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 235\u2013253. Springer-Verlag, Berlin, 2000."},{"key":"1_CR35","unstructured":"M. Klein, C. Dellarocas, and A. Bernstein, editors. Adaptive Workflow Systems, Special Issue of Computer Supported Cooperative Work, 2000."},{"key":"1_CR36","volume-title":"Workflow Handbook 1997, Workflow Management Coalition","year":"1997","unstructured":"P. Lawrence, editor. Workflow Handbook 1997, Workflow Management Coalition. John Wiley and Sons, New York, 1997."},{"key":"1_CR37","unstructured":"P. Lyman and H. Varian. How Much Information. http:\/\/www.sims.berkeley.edu\/how-much-info ."},{"key":"1_CR38","series-title":"Wiley series in parallel computing","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"A. M. M","year":"1995","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte et al. Modelling with Generalized Stochastic Petri Nets. Wiley series in parallel computing. Wiley, New York, 1995."},{"key":"1_CR39","series-title":"PhD thesis","volume-title":"Kommunikation mit Automaten","author":"C.A. Petri","year":"1962","unstructured":"C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut f\u00fcr instrumentelle Mathematik, Bonn, 1962."},{"key":"1_CR40","first-page":"417","volume-title":"Proceedings of the IASTED International Conference on Modelling and Simulation","author":"H.A. Reijers","year":"1999","unstructured":"H.A. Reijers and W. M. P. van der Aalst. Short-Term Simulation: Bridging the Gap between Operational Control and Strategic Decision Making. In M.H. Hamza, editor, Proceedings of the IASTED International Conference on Modelling and Simulation, pages 417\u2013421. IASTED\/Acta Press, Anaheim, USA, 1999."},{"key":"1_CR41","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998."},{"issue":"2","key":"1_CR42","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W. Sadiq","year":"2000","unstructured":"W. Sadiq and M.E. Orlowska. Analyzing Process Models using Graph Reduction Techniques. Information Systems, 25(2):117\u2013134, 2000.","journal-title":"Information Systems"},{"issue":"4","key":"1_CR43","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"H.M.W. Verbeek, T. Basten, and W. M. P. van der Aalst. Diagnosing Workflow Processes using Woflan. The Computer Journal, 44(4):246\u2013279, 2001.","journal-title":"The Computer Journal"},{"key":"1_CR44","unstructured":"T. Weijters and W. M. P. van der Aalst. Rediscovering Workflow Models from Event-Based Data. In V. Hoste and G. de Pauw, editors, Proceedings of the 11th Dutch-Belgian Conference on Machine Learning (Benelearn 2001), pages 93\u2013100, 2001."},{"key":"1_CR45","unstructured":"Woflan Home Page. http:\/\/www.tm.tue.nl\/it\/woflan ."},{"key":"1_CR46","unstructured":"M.D. Zisman. Representation, Specification and Automation of Office Procedures. PhD thesis, University of Pennsylvania, Warton School of Business, 1977."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,15]],"date-time":"2021-08-15T02:44:27Z","timestamp":1628995467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}