{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:02:12Z","timestamp":1725886932838},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578606"},{"type":"electronic","value":"9783319578613"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57861-3_7","type":"book-chapter","created":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T02:10:40Z","timestamp":1493863840000},"page":"101-111","source":"Crossref","is-referenced-by-count":1,"title":["travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Meis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robin","family":"Bergenthum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Desel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"key":"7_CR1","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., G\u00fcnther, C.W., Rozinat, A., Weijters, T.: ProM: the process mining toolkit. In: de Medeiros, A.K.A., Weber, B. (eds.) Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), Ulm, Germany, 8 September 2009, vol. 489. CEUR. \nhttp:\/\/www.promtools.org\/doku.php"},{"key":"7_CR2","unstructured":"Allweyer, T.: Kollaborationen, Choreographien und Konversationen in BPMN 2.0 - Erweiterte Konzepte zur Modellierung \u00fcbergreifender Gesch\u00e4ftsprozesse. Working Paper. Kaiserslautern University of Applied Sciences Kaiserslautern (2009)"},{"key":"7_CR3","series-title":"Texts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47967-4","volume-title":"Petri Net Synthesis","author":"E Badouel","year":"2015","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: Petri Net Synthesis. Texts in Theoretical Computer Science. Springer, Heidelberg (2015)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-540-68746-7_25","volume-title":"Applications and Theory of Petri Nets","author":"R Bergenthum","year":"2008","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri nets from scenarios with VipTool. In: Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 388\u2013398. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-68746-7_25"},{"key":"7_CR5","unstructured":"Best, E., Schlachter, U.: Analysis of Petri nets and transition systems. In: Knight, S., Lanese, I., Lluch-Lafuente, A., Vieira, H.T. (eds.) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4\u20135, vol. 189, pp. 53\u201367. EPTCS (2015). \nhttps:\/\/github.com\/CvO-Theory\/apt"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-68746-7_10","volume-title":"Applications and Theory of Petri Nets","author":"J Carmona","year":"2008","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: A symbolic algorithm for the synthesis of bounded Petri nets. In: Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 92\u2013111. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-68746-7_10"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-540-85758-7_26","volume-title":"Business Process Management","author":"J Carmona","year":"2008","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: A region-based algorithm for discovering Petri nets from event logs. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 358\u2013373. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-85758-7_26"},{"key":"7_CR8","doi-asserted-by":"publisher","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: a tool for the synthesis and mining of Petri nets. In: Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1\u20133 July 2009","DOI":"10.1109\/ACSD.2009.6"},{"issue":"3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TC.2009.131","volume":"59","author":"J Carmona","year":"2010","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: New region-based algorithms for deriving bounded Petri nets. IEEE Trans. Comput. 59(3), 371\u2013384 (2010)","journal-title":"IEEE Trans. Comput."},{"issue":"8","key":"7_CR10","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J Cortadella","year":"1998","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri nets from finite transition systems. IEEE Trans. Comput. 47(8), 859\u2013882 (1998)","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"7_CR11","first-page":"315","volume":"E80\u2013D","author":"J Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, L., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. Inf. Syst. E80\u2013D(3), 315\u2013325 (1997). \nhttp:\/\/www.cs.upc.edu\/ jordicf\/petrify\/","journal-title":"IEICE Trans. Inf. Syst."},{"key":"7_CR12","first-page":"279","volume":"33","author":"J Desel","year":"1996","unstructured":"Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Informatikca 33, 279\u2013315 (1996)","journal-title":"Acta Informatikca"},{"key":"7_CR13","unstructured":"Eckleder, A., Freytag, T.: WoPeD - a tool for teaching, analyzing and visualizing workflow nets. Petri Net Newslett. 75 (2008). \nhttp:\/\/woped.dhbw-karlsruhe.de\/woped\/"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-319-19488-2_10","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"M Heiner","year":"2015","unstructured":"Heiner, M., Schwarick, M., Wegener, J.-T.: Charlie \u2013 an extensible Petri net analysis tool. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 200\u2013211. Springer, Cham (2015). doi:\n10.1007\/978-3-319-19488-2_10\n\n. \nhttp:\/\/www-dssz.informatik.tu-cottbus.de\/DSSZ\/Software\/Charlie"},{"key":"7_CR15","first-page":"35","volume":"9","author":"E Kindler","year":"2006","unstructured":"Kindler, E.: PNML: concept, status and future directions. Entwurf Komplexer Automatisierungssysteme (EKA) 9, 35\u201355 (2006)","journal-title":"Entwurf Komplexer Automatisierungssysteme (EKA)"},{"key":"7_CR16","unstructured":"Meis, B., Bergenthum, R., Desel, J.: Synthesis of elementary net systems with final configurations. In: van der Aalst, W.M.P., Bergenthum, R., Carmona, J. (eds.) Workshop on Algorithms & Theories for the Analysis of Event Data (ATAED 2016), Torun, Poland, pp. 47\u201357 (2016)"},{"key":"7_CR17","unstructured":"Meis, B., Bergenthum, R., Desel, J.: Synthesis of Petri nets with final states. Submitted"},{"key":"7_CR18","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-17722-4_5","volume-title":"Information Systems Evolution","author":"HMW Verbeek","year":"2011","unstructured":"Verbeek, H.M.W., Buijs, J.C.A.M., Dongen, B.F., Aalst, W.M.P.: XES, XESame, and ProM 6. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol. 72, pp. 60\u201375. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-17722-4_5"},{"key":"7_CR19","unstructured":"Wolf, K., Lohmann, N.: LoLA - a low level petri net analyzer (2014). \nhttp:\/\/home.gna.org\/service-tech\/lola\/"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57861-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T02:12:50Z","timestamp":1493863970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57861-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578606","9783319578613"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57861-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}