{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:32:22Z","timestamp":1725550342037},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297369"},{"type":"electronic","value":"9783540321163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575771_14","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T15:07:11Z","timestamp":1128956831000},"page":"183-201","source":"Crossref","is-referenced-by-count":7,"title":["Colored Petri Nets to Verify Extended Event-Driven Process Chains"],"prefix":"10.1007","author":[{"given":"Kees","family":"van Hee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivia","family":"Oanea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"14_CR1","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W. Aalst van der","year":"1999","unstructured":"van der Aalst, W.: Formalization and verification of event-driven process chains. Information and Software Technology\u00a041(10), 639\u2013650 (1999)","journal-title":"Information and Software Technology"},{"key":"14_CR2","unstructured":"van der Aalst, W.M.P., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: EPK 2002, Proceedings des GI-Workshops und Arbeitskreistreffens, Trier, November 2002, pp. 71\u201379. GI-Arbeitskreis Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten (2002)"},{"key":"14_CR3","unstructured":"The CPN Tools Homepage, \n                      \n                        http:\/\/www.daimi.au.dk\/CPNtools"},{"key":"14_CR4","unstructured":"Cheng, A., Christensen, S., Mortensen, K.: Model Checking Coloured Petri Nets Exploiting Strongly Connected Components. In: Spathopoulos, M., Smedinga, R., Kozak, P. (eds.) Proceedings of the International Workshop on Discrete Event Systems, WODES 1996, pp. 169\u2013177 (1996)"},{"key":"14_CR5","unstructured":"Cuntz, N., Kindler, E.: On the semantics of EPCs: Efficient calculation and simulation. In: N\u00fcttgens, M., Rump, F.J. (eds.) EPK 2004: Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Gesellschaft f\u00fcr Informatik, Bonn, pp. 7\u201326 (2004)"},{"key":"14_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0321-9","volume-title":"Business Process Modeling with ARIS: A Practical Guide","author":"R. Davis","year":"2001","unstructured":"Davis, R.: Business Process Modeling with ARIS: A Practical Guide. Springer, Heidelberg (2001)"},{"key":"14_CR7","unstructured":"Dehnert, J.: A Methodology for Workflow Modeling - From business process modeling towards sound workflow specification. PhD thesis, TU Berlin (2003)"},{"key":"14_CR8","volume-title":"Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)"},{"key":"14_CR9","unstructured":"IDS Scheer AG. ARIS Methods Manual (2003)"},{"key":"14_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Springer, Heidelberg (1992)"},{"key":"14_CR11","volume-title":"SAP R\/3 Process Oriented Implementation: Iterative Process Prototyping","author":"G. Keller","year":"1998","unstructured":"Keller, G., Teufel, T.: SAP R\/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, Reading (1998)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-25970-1_6","volume-title":"Business Process Management","author":"E. Kindler","year":"2004","unstructured":"Kindler, E.: On the semantics of ePCs: A framework for resolving the vicious circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol.\u00a03080, pp. 82\u201397. Springer, Heidelberg (2004)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-69108-1_16","volume-title":"Application and Theory of Petri Nets 1998","author":"P. Langner","year":"1998","unstructured":"Langner, P., Schneider, C., Wehler, J.: Petri Net Based Certification of Event-Driven Process Chains. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 286\u2013305. Springer, Heidelberg (1998)"},{"key":"14_CR14","unstructured":"Matthew, G.S.A., Dwyer, B., Corbett, J.C.: Patterns in Property Specifications for Finite-state Verification. In: Proceedings of the 21st International Conference on Software Engineering (1999)"},{"key":"14_CR15","unstructured":"N\u00fcttgens, K.G., Scheer, A.-W.: Semantische Proze\u00dfmodellierung auf der Grundlage Ereignisgesteuerter Proze\u00dfketten (EPK). Technical report, Scheer, A.-W (Hrsg.): Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik, Heft 89, Saarbr\u00fccken (1992)"},{"key":"14_CR16","unstructured":"N\u00fcttgens, M., Rump, F.J.: Syntax und Semantik Ereignisgesteuerter Processketten (EPK). In: Desel, J., Weske, M. (eds.) Promise 2002- Processorientierte Methoden und Werkzeuge f\u00fcr die Entwiklung von Informationssystemen, LNI, pp. 64\u201377 (2002)"},{"key":"14_CR17","volume-title":"ARIS : business process modeling","author":"A.-W. Scheer","year":"1998","unstructured":"Scheer, A.-W.: ARIS: business process modeling, 2nd edn. Springer, Berlin (1998)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575771_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T23:59:34Z","timestamp":1552435174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575771_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297369","9783540321163"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11575771_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}