{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:44Z","timestamp":1725487064705},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_9","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T07:01:43Z","timestamp":1182150103000},"page":"121-141","source":"Crossref","is-referenced-by-count":2,"title":["Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes"],"prefix":"10.1007","author":[{"given":"Juliane","family":"Dehnert","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"9_CR1","series-title":"Lect Notes Comput Sci","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W. M. P. Aalst van der","year":"1997","unstructured":"W. M. P. van der Aalst. Verification of Workflow Nets. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of LNCS, pages 407\u2013426. Springer-Verlag, Berlin, 1997."},{"issue":"1","key":"9_CR2","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"},{"key":"9_CR3","unstructured":"W. M. P. van der Aalst and T. Basten. Inheritance of Workflows-An approach to tackling problems related to change. Computing Science Reports 99-06, University of Colerado Boulder, 1999."},{"key":"9_CR4","series-title":"Lect Notes Comput Sci","first-page":"18","volume-title":"Proceedings Seventh IFCIS International Conference on Cooperative Information System (CoopIS 2000)","author":"W. M. P. Aalst van der","year":"2000","unstructured":"W. M. P. van der Aalst, B. Kiepuszewski, A. ter Hofstede, A. Barros, and B. Kiepuszewsk. Advanced Workflow Patterns. In O. Etzion and P. Scheuremann, editors, Proceedings Seventh IFCIS International Conference on Cooperative Information System (CoopIS 2000), volume 1901 of LNCS, pages 18\u201329. Springer-Verlag, September 2000."},{"issue":"2","key":"9_CR5","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"N. R. Adam","year":"1998","unstructured":"N. R. Adam, V. Atluri, and W.-K. Huang. Modeling and Analysis of Workflows Using Petri Net. Journal of Intelligent Information System, Special Issue on Workflow and Process Management, 10(2):131\u2013158, 1998.","journal-title":"Journal of Intelligent Information System, Special Issue on Workflow and Process Management"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In Hybrid Systems, pages 1\u201320, 1994.","DOI":"10.1007\/3-540-60472-3_1"},{"key":"9_CR7","unstructured":"J. Dehnert. Four Systematic Steps Towards Sound Business Process Models. In Weber et al. [19], pages 55\u201364."},{"key":"9_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-45341-5_11","volume-title":"Advanced Information System Engineering, CAISE 2001","author":"J. Dehnert","year":"2001","unstructured":"J. Dehnert and P. Rittgen. Relaxed Soundness of Business Processes. In K.L. Dittrich, A. Geppert, and M.C. Norrie, editors, Advanced Information System Engineering, CAISE 2001, volume 2068 of LNCS, pages 157\u2013170. Springer Verlag, 2001."},{"key":"9_CR9","unstructured":"W. Derks, J. Dehnert, P. Grefen, and W. Jonker. Customized atomicity specification for transactional workflow. In H. Lu and S. Spaccapietra, editors, Proceedings of the Third International Symposium on Cooperative Database Systems and Applications (CODAS\u201901), pages 155\u2013164. IEEE Computer Society, April 2001."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"9_CR11","unstructured":"R. Eshuis and R. Wieringa. A Comparison of Petri Net and Activity Diagram Variants. In Weber et al. [19], pages 93\u2013104."},{"key":"9_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, New York, 1992."},{"key":"9_CR13","unstructured":"A. Martens. Modeling Workflow in Virtual Enterprises. In Weber et al. [19], pages 157\u2013162."},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0168-0072(93)90036-D","volume":"65","author":"R. McNaughton","year":"1993","unstructured":"R. McNaughton. Infinite games played on finite graphs. Annals of Pure and Applied Logic, 65(2):149\u2013184, 1993.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"A. Nerode, A. Yakhnis, and V. Yakhnis. Concurrent Programs as Strategies in Games. In LFROMCS: Logic from Computer Science: Workshop-Proceedings. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-2822-6_17"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. On the synthesis of a reactive module. In POPL\u2019 89. Proceedings of the sixteenth annual ACM symposium on Principles of programming languages, pages 179\u2013190, New York, 1989. ACM Press.","DOI":"10.1145\/75277.75293"},{"key":"9_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Proc. Int. Conf. Application and Theory of Petri net","author":"K. Schmidt","year":"1999","unstructured":"K. Schmidt. Lola: A low level analyser. In Proc. Int. Conf. Application and Theory of Petri net, volume 1825 of LNCS, pages 465\u2013474, 1999."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"W. Thomas. On the synthesis of strategies in infinite games. In Symposium on Theoretical Aspects of Computer Science, pages 1\u201313, 1995.","DOI":"10.1007\/3-540-59042-0_57"},{"key":"9_CR19","unstructured":"H. Weber, H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Fraunhofer Gesellschaft ISST, September 2001."}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T23:59:06Z","timestamp":1556495946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}