{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:16Z","timestamp":1725490696771},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_20","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:38:42Z","timestamp":1188779922000},"page":"296-315","source":"Crossref","is-referenced-by-count":17,"title":["Reactive Petri Nets for Workflow Modeling"],"prefix":"10.1007","author":[{"given":"Rik","family":"Eshuis","sequence":"first","affiliation":[]},{"given":"Juliane","family":"Dehnert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"issue":"1","key":"20_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"},{"key":"20_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-47833-7","volume-title":"Proc. 13th Int. Conference on Advanced Information Systems Engineering (CAiSE 2002)","author":"W.M.P. Aalst van der","year":"2002","unstructured":"W.M.P. van der Aalst, A. Hirnschall, and E. Verbeek. An alternative way to analyze workflow graphs. In Proc. 13th Int. Conference on Advanced Information Systems Engineering (CAiSE 2002), volume 2348 of Lecture Notes in Computer Science. Springer Verlag, 2002."},{"key":"20_CR3","series-title":"Lect Notes Comput Sci","first-page":"18","volume-title":"Proc. 7th IFCIS Int. Conference on Cooperative Information System (CoopIS 2000)","author":"W.M.P. Aalst van der","year":"2000","unstructured":"W.M.P. van der Aalst, A. ter Hofstede, B. Kiepuszewski, and A. Barros. Advanced Workflow Patterns. In O. Etzion and P. Scheuremann, editors, Proc. 7th IFCIS Int. Conference on Cooperative Information System (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 18\u201329. Springer Verlag, 2000."},{"issue":"7","key":"20_CR4","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1007\/s002360050065","volume":"33","author":"F. Bause","year":"1996","unstructured":"F. Bause. On the analysis of Petri nets with static priorities. Acta Informatica, 33(7):669\u2013685, 1996.","journal-title":"Acta Informatica"},{"issue":"2","key":"20_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"20_CR6","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1109\/87.406973","volume":"3","author":"R. David","year":"1995","unstructured":"R. David. Grafcet: A powerful tool for specification of logic controllers. IEEE Transactions on Control Systems Technology, 3(3):253\u2013267, 1995.","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"20_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-48068-4_9","volume-title":"Proc. 23rd Int. Conference on Application and Theory of Petri Nets (ICATPN 2002)","author":"J. Dehnert","year":"2002","unstructured":"J. Dehnert. Non-controllable choice robustness: Expressing the controllability of workflow processes. In J. Esparza and C. Lakos, editors, Proc. 23rd Int. Conference on Application and Theory of Petri Nets (ICATPN 2002), volume 2360 of Lecture Notes in Computer Science, pages 121\u2013141. Springer Verlag, 2002."},{"key":"20_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/b11837","volume-title":"Petri Net Technology for Communication Based Systems","author":"J. Dehnert","year":"2003","unstructured":"J. Dehnert. Four steps towards sound business process models. In W. Reisig, G. Rozenberg, and H. Weber, editors. Petri Net Technology for Communication Based Systems, Lecture Notes in Computer Science. Springer Verlag, 2003 [10]. To appear."},{"key":"20_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Business Process Management: Models, Techniques and Empirical Studies","author":"J. Desel","year":"2000","unstructured":"J. Desel and T. Erwin. Modeling, simulation and analysis of business processes. In W. 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, 2000."},{"key":"20_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Petri Net Technology for Communication Based Systems","year":"2003","unstructured":"H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors. Petri Net Technology for Communication Based Systems, Lecture Notes in Computer Science. Springer Verlag, 2003. To appear."},{"key":"20_CR11","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. 14th Int. Conference on Application and Theory of Petri Nets (ICATPN 1993)","author":"C.A. Ellis","year":"1993","unstructured":"C.A. Ellis and G.J. Nutt. Modelling and enactment of workflow systems. In M. Ajmone Marsan, editor, Proc. 14th Int. Conference on Application and Theory of Petri Nets (ICATPN 1993), volume 691 of Lecture Notes in Computer Science, pages 1\u201316. Springer, 1993."},{"key":"20_CR12","unstructured":"R. Eshuis. Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente, 2002."},{"key":"20_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Petri Net Technology for Communication Based Systems","author":"R. Eshuis","year":"2003","unstructured":"R. Eshuis and R. Wieringa. Comparing Petri net and activity diagram variants for workflow modelling \u2014 a quest for reactive Petri nets. In W. Reisig, G. Rozenberg, and H. Weber, editors. Petri Net Technology for Communication Based Systems, Lecture Notes in Computer Science. Springer Verlag, 2003 [10]. To appear."},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.3233\/FI-2000-43123405","volume":"43","author":"A. Foremniak","year":"2000","unstructured":"A. Foremniak and P.H. Starke. Analyzing and reducing simultaneous firing in signal-event nets. Fundamenta Informaticae, 43:81\u2013104, 2000.","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"20_CR15","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","volume":"41","author":"H.-M. Hanisch","year":"2000","unstructured":"H.-M. Hanisch and A. L\u00fcder. A signal extension for Petri nets and its use in controller design. Fundamenta Informaticae, 41(4):415\u2013431, 2000.","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"20_CR16","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293\u2013333, 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Pnueli. On the development of reactive systems. In K.R. Apt, editor, Logics and Models of Concurrent Systems, volume 13 of NATO\/ASI, pages 447\u2013498. Springer, 1985.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"20_CR18","series-title":"Teubener-Reihe Wirtschaftsinformatik","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-81039-7","volume-title":"Modellierung und Ausf\u00fchrung von Workflows mit Petri-Netzen","author":"A. Oberweis","year":"1996","unstructured":"A. Oberweis. Modellierung und Ausf\u00fchrung von Workflows mit Petri-Netzen (in German). Teubener-Reihe Wirtschaftsinformatik. B.G. Teubener Verlagsgesellschaft, Stuttgart, Leipzig, 1996."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"R.J. Wieringa. Design Methods for Reactive Systems: Yourdon, Statemate and the UML. Morgan Kaufmann, 2003.","DOI":"10.1016\/B978-155860755-2\/50004-6"},{"key":"20_CR20","unstructured":"D. Wikarski. An introduction to modular process nets. Technical Report TR-96-019, International Computer Science Institute, 1996."},{"key":"20_CR21","unstructured":"M.D. Zisman. Representation, Specification and Automation of Office Procedures. PhD thesis, University of Pennsylvania, Wharton School, 1977."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T07:52:45Z","timestamp":1587887565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}