{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:04:42Z","timestamp":1767236682321},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_23","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T07:01:43Z","timestamp":1182150103000},"page":"394-413","source":"Crossref","is-referenced-by-count":7,"title":["Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow"],"prefix":"10.1007","author":[{"given":"David G.","family":"Stork","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rob","family":"van Glabbeek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"23_CR1","first-page":"161","volume-title":"Information and process integration in enterprises: Rethinking documents","author":"W. M. P. Aalst van der","year":"1998","unstructured":"Wil M. P. van der Aalst. Three good reasons for using a Petri-net-based workflow management system. In Information and process integration in enterprises: Rethinking documents, pages 161\u2013182. Kluwer Academic, Norwell, MA, 1998."},{"issue":"3","key":"23_CR2","first-page":"345","volume":"35","author":"W. M. P. Aalst van der","year":"1999","unstructured":"Wil M. P. van der Aalst. Interorganizational workflows: An approach based on message sequence charts and Petri nets. Systems analysis \u2014 Modelling \u2014 Simulation, 35(3):345\u2013357, 1999.","journal-title":"Systems analysis \u2014 Modelling \u2014 Simulation"},{"volume-title":"Business Process Management: Models, Techniques, and Empirical Studies","year":"2000","key":"23_CR3","unstructured":"Wil M. P. van der Aalst, J\u00f6rg Desel, and Andreas Oberweis, editors. Business Process Management: Models, Techniques, and Empirical Studies. Springer, New York, NY, 2000."},{"issue":"2","key":"23_CR4","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1006\/inco.1994.1096","volume":"115","author":"L. Aceto","year":"1994","unstructured":"Luca Aceto and Matthew Hennessy. Adding action refinement to a finite process algebra. Information and Computation, 115(2):179\u2013247, 1994.","journal-title":"Information and Computation"},{"key":"23_CR5","unstructured":"Eric Badouel and Javier Oliver. Reconfigurable nets, a class of high level Petri nets supporting dynamic changes. (WFM) Workshop within the 19th International Conference on Applications and Theory of Petri Nets, pages 129\u2013145, 1999."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Michel Bauderon and Bruno Courcelle. Graph expressions and graph rewriting. Mathematical Systems Theory, 20(83\u2013127), 1987.","DOI":"10.1007\/BF01692060"},{"key":"23_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets 1990","author":"W. Brauer","year":"1991","unstructured":"Wilfried Brauer, Robert Gold, and Walter Vogler. A survey of behaviour and equivalence preserving refinement of Petri nets. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1990, number 483 in LNCS, 1991."},{"key":"23_CR8","volume-title":"The Scheme programming language: ANSI Scheme","author":"R. K. Dybvig","year":"1996","unstructured":"R. Kent Dybvig. The Scheme programming language: ANSI Scheme. Prentice Hall, Upper Saddle River, NJ, 1996."},{"key":"23_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-47919-2_9","volume-title":"Advances in Petri Nets 1986","author":"H. J. Genrich","year":"1987","unstructured":"Hartmann J. Genrich. Predicate\/transition nets. In Advances in Petri Nets 1986, volume 254 of LNCS, pages 207\u20132471. Springer-Verlag, 1987."},{"issue":"1","key":"23_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H. J. Genrich","year":"1981","unstructured":"Hartmann J. Genrich and Kurt Lautenbach. System modelling with high-level Petri nets. Theoretical Computer Science, 13(1):109\u2013136, 1981.","journal-title":"Theoretical Computer Science"},{"key":"23_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/3-540-52559-9_68","volume-title":"Proceedings REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness","author":"R. Glabbeek van","year":"1990","unstructured":"Rob van Glabbeek and Ursula Goltz. Refinement of actions in causality based models. In Jaco W. de Bakker, Willem Paul de Roever, and Grzegorz Rozenberg, editors, Proceedings REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness, Mook, The Netherlands, May\/June 1989, volume 430 of Lecture Notes in Computer Science (LNCS), pages 267\u2013300. Springer, 1990."},{"issue":"3","key":"23_CR12","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R. Glabbeek van","year":"1996","unstructured":"Rob van Glabbeek and W. Peter Weijland. Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3):555\u2013600, 1996.","journal-title":"Journal of the ACM"},{"issue":"3","key":"23_CR13","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Kurt Jensen. Coloured Petri nets and the invariant-method. Theoretical Computer Science, 14(3):317\u2013336, 1981.","journal-title":"Theoretical Computer Science"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Kurt Jensen. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use, Vol. 1. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-662-06289-0_1"},{"key":"23_CR15","volume-title":"TEX: The Program, Computers and Typesetting","author":"D. E. Knuth","year":"1986","unstructured":"Donald E. Knuth. TEX: The Program, Computers and Typesetting. Addison-Wesley, Reading, MA, 1986."},{"key":"23_CR16","volume-title":"Production Workflow: Concepts and Techniques","author":"F. Leymann","year":"2000","unstructured":"Frank Leymann and Dieter Roller. Production Workflow: Concepts and Techniques. Prentice Hall, Upper Saddle River, NJ, 2000."},{"key":"23_CR17","unstructured":"Michael K\u00f6hler, Daniel Moldt, and Heiko R\u00f6lke. Liveness preserving composition of agent Petri nets. Technical report, Universit\u00e4t Hamburg, Fachbereich Informatik, 2001."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Michael K\u00f6hler, Daniel Moldt, and Heiko R\u00f6lke. Modelling the structure and behaviour of Petri net agents. In Jos\u00e9-Manuel Colom and Maciej Koutny, editors, Applications and Theory of Petri Nets 2001, pages 224\u2013241, 2001.","DOI":"10.1007\/3-540-45740-2_14"},{"key":"23_CR19","volume-title":"Communicating and Mobile Systems: The \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Robin Milner. Communicating and Mobile Systems: The \u03c0-calculus. Cambridge University Press, Cambridge, UK, 1999."},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Ethan Mirsky and Andre DeHon. MATRIX: A reconfigurable computing architecture with configurable instruction distribution and deployable resources. In Peter Athanas and Kevin L. Pocek, editors, Proceedings of IEEE Workshop on FPGAs for Custom Computing Machines, pages 157\u2013166, 1996.","DOI":"10.1109\/FPGA.1996.564808"},{"issue":"4","key":"23_CR21","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Tadao Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"23_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of Distributed Algorithms: Modeling and analysis with Petri nets","author":"W. Reisig","year":"1998","unstructured":"Wolfgang Reisig. Elements of Distributed Algorithms: Modeling and analysis with Petri nets. Springer, Berlin, Germany, 1998."},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Einar Smith. Principles of high-level Petri nets. In Wolfgang Reisig and Grzegorz Rozenberg, editors, Lectures on Petri nets I: Basic models, volume 1491 of Advances in Petri nets, pages 174\u2013210. Springer, 1998.","DOI":"10.1007\/3-540-65306-6_16"},{"issue":"1","key":"23_CR24","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R. Valette","year":"1979","unstructured":"Robert Valette. Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences, 18(1):35\u201346, 1979.","journal-title":"Journal of Computer and System Sciences"},{"key":"23_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/3-540-08860-1_35","volume-title":"Proceedings ICALP\u2019 78","author":"R. Valk","year":"1978","unstructured":"R\u00fcdiger Valk. Self-modifying nets, a natural extension of Petri nets. In Proceedings ICALP\u2019 78, volume 62 of Lecture Notes in Computer Science (LNCS), pages 464\u2013476. Springer, 1978."},{"key":"23_CR26","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Application and Theory of Petri Nets","author":"R. Valk","year":"1989","unstructured":"R\u00fcdiger Valk. Petri nets as token objects: An introduction to elementary object nets. In J\u00f6rg Desel and Manual Silva, editors, Application and Theory of Petri Nets, volume 1420 of Lecture Notes in Computer Science (LNCS), pages 1\u201325. Springer, 1989."},{"key":"23_CR27","volume-title":"Lisp","author":"P. H. Winston","year":"1988","unstructured":"Patrick Henry Winston and Berthold Klaus Paul Horn. Lisp. Addison-Wesley, Reading, MA, third edition, 1988.","edition":"third edition"}],"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_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T23:58:57Z","timestamp":1556495937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}