{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:30:54Z","timestamp":1725489054560},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403180"},{"type":"electronic","value":"9783540448952"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44895-0_17","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T05:06:27Z","timestamp":1186895187000},"page":"246-260","source":"Crossref","is-referenced-by-count":11,"title":["Pattern Based Workflow Design Using Reference Nets"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Moldt","sequence":"first","affiliation":[]},{"given":"Heiko","family":"R\u00f6lke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"17_CR1","unstructured":"Workflow management coalition homepage. URL: \n                    http:\/\/www.wfmc.org\/\n                    \n                  , 2003."},{"key":"17_CR2","unstructured":"Workflow pattern homepage. URL: \n                    http:\/\/tmitwww.tm.tue.nl\/research\/patterns\/\n                    \n                  , 2003."},{"key":"17_CR3","unstructured":"Workflow reference model. URL: \n                    http:\/\/www.wfmc.org\/standards\/docs\/tc003v11.pdf\n                    \n                  , 2003."},{"key":"17_CR4","series-title":"Lect Notes Comput Sci","first-page":"407","volume-title":"Verification of workflow nets","author":"W. M.P. Aalst van der","year":"1997","unstructured":"Wil M.P. van der Aalst. Verification of workflow nets. Number 1248 of Lecture Notes in Computer Science, pages 407\u2013426, Springer Verlag, Berlin, 1997."},{"key":"17_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-68383-6","volume-title":"International Conference on Application and Theory of Petri Nets in Lisbon 1998","author":"W. M.P. Aalst van der","year":"1998","unstructured":"Wil M.P. van der Aalst. WOFLAN: A Petri-net-based workflow analyser. In International Conference on Application and Theory of Petri Nets in Lisbon 1998, number 1420 in Lecture Notes in Computer Science, Springer Verlag, Berlin, 1998."},{"key":"17_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Business Process Management: Models, Techniques, and Empirical Studies","year":"2000","unstructured":"Wil M.P. van der Aalst, J\u00f6rg Desel, and Andreas Oberweis (Eds.). Business Process Management: Models, Techniques, and Empirical Studies. Number 1806 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 2000."},{"key":"17_CR7","series-title":"Working Paper","first-page":"117","volume-title":"Proceedings of the 1999 Workflow Management Conference Workflow-based Applications","author":"W. M.P. Aalst van der","year":"1999","unstructured":"Wil M.P. van der Aalst, Daniel Moldt, R\u00fcdiger Valk, and Frank Wienberg. Enacting Interorganizational Workflows Using Nets in Nets. In J. Becker, M. zur M\u00fchlen, and M. Rosemann (Eds.), Proceedings of the 1999 Workflow Management Conference Workflow-based Applications, Working Paper Series of the Department of Information Systems, pages 117\u2013136, University of M\u00fcnster, Department of Information Systems, M\u00fcnster, 1999. Working Paper No. 70."},{"key":"17_CR8","unstructured":"Wil M.P. van der Aalst and Arthur H.M. ter Hofstede. Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. In Kurt Jensen (Ed.), Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1\u201320, Aarhus, Denmark, August 2002. University of Aarhus."},{"key":"17_CR9","series-title":"QUT Technical report","volume-title":"YAWL: Yet Another Workflow Language","author":"W. M.P. Aalst van der","year":"2002","unstructured":"Wil M.P. van der Aalst and Arthur H.M. ter Hofstede. YAWL: Yet Another Workflow Language. QUT Technical report, FIT-TR-2002-06, Queensland University of Technology, Brisbane, 2002."},{"key":"17_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-58152-9_10","volume-title":"Application and Theory of Petri Nets 1994, Proc. of 15th Intern. Conf. Zaragoza, Spain, June 1994","author":"S. Christensen","year":"1994","unstructured":"S\u00f8ren Christensen and Niels Damgaard Hansen. Coloured Petri nets extended with channels for synchronous communication. In Robert Valette (Ed.), Application and Theory of Petri Nets 1994, Proc. of 15th Intern. Conf. Zaragoza, Spain, June 1994, LNCS, pages 159\u2013178, Springer Verlag, Berlin, June 1994."},{"key":"17_CR11","first-page":"18","volume":"61","author":"T. Jacob","year":"2001","unstructured":"Thomas Jacob, Olaf Kummer, and Daniel Moldt. Persistent Petri Net Execution. Petri Net Newsletter, 61:18\u201326, October 2001.","journal-title":"Petri Net Newsletter"},{"key":"17_CR12","unstructured":"Thomas Jacob, Olaf Kummer, Daniel Moldt, and Ulrich Ultes-Nitsche. Implementation of Workflow Systems using Reference Nets \u2014 Security and Operability Aspects. pages 139\u2013154, Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark, 2002. Computer Science Department, University of Aarhus. see also: \n                    http:\/\/www.daimi.au.dk\/CPnets\/workshop02\/cpn\/papers\/\n                    \n                  ."},{"key":"17_CR13","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets: Volume 1; Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Kurt Jensen. Coloured Petri Nets: Volume 1; Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1992."},{"key":"17_CR14","volume-title":"Rechensysteme; Grundlagen der Modellbildung","author":"J. Eike","year":"1987","unstructured":"Eike Jessen and R\u00fcdiger Valk. Rechensysteme; Grundlagen der Modellbildung. Springer Verlag, Berlin, 1987."},{"key":"17_CR15","unstructured":"Michael K\u00f6hler and Heiko R\u00f6lke. Mobile object net systems: Concurrency and mobility. In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P. Starke (Eds.), Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2002), 2002."},{"key":"17_CR16","unstructured":"Olaf Kummer. Simulating synchronous channels and net instances. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis (Eds.), Forschungsbericht Nr. 694: 5. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze, pages 73\u201378. University of Dortmund, Computer Science Department, 1998."},{"key":"17_CR17","volume-title":"Referenznetze","author":"O. Kummer","year":"2002","unstructured":"Olaf Kummer. Referenznetze. Dissertation, University of Hamburg, Computer Science Department, Vogt-K\u00f6lln Str. 30, 22527 Hamburg, Germany, 2002."},{"key":"17_CR18","volume-title":"Renew-User Guide","author":"O. Kummer","year":"2002","unstructured":"Olaf Kummer, Frank Wienberg, and Michael Duvigneau. Renew-User Guide. University of Hamburg, Computer Science Department, Vogt-K\u00f6lln Str. 30, 22527 Hamburg, Germany, 1.6 edition, 2002.","edition":"1.6 edition"},{"key":"17_CR19","volume-title":"Mobile Ger\u00e4te in verteilten Anwendungsumgebungen: Ein Integrationsansatz zwischen Abstraktion und Migration","author":"S. M\u00fcller-Wilken","year":"2002","unstructured":"Stefan M\u00fcller-Wilken. Mobile Ger\u00e4te in verteilten Anwendungsumgebungen: Ein Integrationsansatz zwischen Abstraktion und Migration. Dissertation, University of Hamburg, Computer Science Department, Vogt-K\u00f6lln Str. 30, 22527 Hamburg, Germany, 2002."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Stefan M\u00fcller-Wilken, Frank Wienberg, and Wilfried Lamersdorf. On integrating mobile devices into a workflow management scenario.In A. Al-Zobaidie, A. M. Tjoa, and R. R. Wagner (Eds.), Proc. 11th International Workshop on Database and Expert Systems Applications (DEXA 2000), pages 186\u2013192, Hamburg, October 2000. IEEE Computer Society.","DOI":"10.1109\/DEXA.2000.875024"},{"key":"17_CR21","unstructured":"Daniel Moldt. Using workflows to structure systems based on object-oriented coloured Petri nets. In J. Desel, A. Oberweis, W. Reisig, and G. Rozenberg (Eds.), Petri Nets and Business Process Management, number 217 in Dagstuhl Seminar-Report, Saarbr\u00fccken, 1998."},{"key":"17_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Wolfgang Reisig. Petri Nets: An Introduction. Springer Verlag, Berlin, 1985."},{"issue":"1\u20132","key":"17_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Wolfgang Reisig. Petri nets and algebraic specifications. Theoretical Computer Science, 80(1\u20132):1\u201334, 1991.","journal-title":"Theoretical Computer Science"},{"key":"17_CR24","unstructured":"Renew homepage. URL: \n                    http:\/\/www.renew.de\n                    \n                  , University of Hamburg, Department for Computer Science, Vogt-K\u00f6olln Str. 30, 22527 Hamburg, Germany, 2003."},{"key":"17_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0_5","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"R. Valk","year":"2001","unstructured":"R\u00fcdiger Valk. Concurrency in communicating object Petri nets. In G. Agha, F. De Cindio, and G. Rozenberg (Eds.), Concurrent Object-Oriented Programming and Petri Nets, number 2001 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 2001."},{"key":"17_CR26","series-title":"Lect Notes Comput Sci","volume-title":"19th International Conference on Application and Theory of Petri nets","author":"R. Valk","year":"1998","unstructured":"R\u00fcdiger Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In J\u00f6rg Desel (Ed.), 19th International Conference on Application and Theory of Petri nets, number 1420 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 1998."}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44895-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T13:15:14Z","timestamp":1550754914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44895-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403180","9783540448952"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44895-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}