{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:43:46Z","timestamp":1725864226337},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662534007"},{"type":"electronic","value":"9783662534014"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-53401-4_6","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T15:34:52Z","timestamp":1472830492000},"page":"114-136","source":"Crossref","is-referenced-by-count":7,"title":["Mining Conditional Partial Order Graphs from Event Logs"],"prefix":"10.1007","author":[{"given":"Andrey","family":"Mokhov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Beaumont","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,2]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"W Aalst van der","year":"2011","unstructured":"van der Aalst, W.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)"},{"key":"6_CR2","unstructured":"The ProM framework homepage (2010). http:\/\/www.promtools.org\/"},{"key":"6_CR3","unstructured":"Song, M., van der Aalst, W.M.P.: Supporting process mining by showing events at a glance. In: Proceedings of Annual Workshop on Information Technologies and Systems (WITS), pp. 139\u2013145 (2007)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Mokhov, A.: Conditional partial order graphs. Ph.D. thesis, Newcastle University (2009)","DOI":"10.1109\/ACSD.2008.4574604"},{"issue":"4s","key":"6_CR5","first-page":"143","volume":"13","author":"A Mokhov","year":"2014","unstructured":"Mokhov, A., Khomenko, V.: Algebra of parameterised graphs. ACM Trans. Embed. Comput. Syst. (TECS) 13(4s), 143 (2014)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"6_CR6","unstructured":"Mokhov, A., Carmona, J.: Event log visualisation with conditional partial order graphs: from control flow to data. In: Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED, Brussels, Belgium, 22\u201323 June, pp. 16\u201330 (2015)"},{"key":"6_CR7","unstructured":"The Workcraft framework homepage (2009). http:\/\/www.workcraft.org"},{"key":"6_CR8","unstructured":"The PGminer tool repository (2015). https:\/\/github.com\/tuura\/process-mining"},{"issue":"9","key":"6_CR9","first-page":"1128","volume":"16","author":"WMP Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE TKDE 16(9), 1128\u20131142 (2004)","journal-title":"IEEE TKDE"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: A genetic algorithm for discovering process trees. In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC, Brisbane, Australia, 10\u201315 June, pp. 1\u20138 (2012)","DOI":"10.1109\/CEC.2012.6256458"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-3-642-38697-8_17","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"SJJ Leemans","year":"2013","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311\u2013329. Springer, Heidelberg (2013)"},{"issue":"3","key":"6_CR12","doi-asserted-by":"crossref","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":"4","key":"6_CR13","first-page":"437","volume":"88","author":"R Bergenthum","year":"2008","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri nets from finite partial languages. Fundam. Inf. 88(4), 437\u2013468 (2008)","journal-title":"Fundam. Inf."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Mokhov, A., Sokolov, D., Yakovlev, A.: Adapting asynchronous circuits to operating conditions by logic parametrisation. In: IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pp. 17\u201324. IEEE (2012)","DOI":"10.1109\/ASYNC.2012.23"},{"issue":"1","key":"6_CR15","doi-asserted-by":"crossref","first-page":"26","DOI":"10.3390\/jlpea4010026","volume":"4","author":"A Mokhov","year":"2014","unstructured":"Mokhov, A., Rykunov, M., Sokolov, D., Yakovlev, A.: Design of processors with reconfigurable microarchitecture. J. Low Power Electron. Appl. 4(1), 26\u201343 (2014)","journal-title":"J. Low Power Electron. Appl."},{"key":"6_CR16","volume-title":"Synthesis and Optimization of Digital Circuits","author":"G Micheli de","year":"1994","unstructured":"de Micheli, G.: Synthesis and Optimization of Digital Circuits. McGraw-Hill Higher Education, New York (1994)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Wegener, I.: The complexity of Boolean functions. Johann Wolfgang Goethe-Universitat (1987)","DOI":"10.1007\/3-540-18170-9_185"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-319-15579-1_11","volume-title":"Language and Automata Theory and Applications","author":"H Ponce-de-Le\u00f3n","year":"2015","unstructured":"Ponce-de-Le\u00f3n, H., Mokhov, A.: Building bridges between sets of partial orders. In: Dediu, A.-H., Formenti, E., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2015. LNCS, vol. 8977, pp. 145\u2013160. Springer, Heidelberg (2015)"},{"key":"6_CR19","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"McMillan, K.: Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In: Proceedings of Computer Aided Verification Conference (CAV), vol. 663, p. 164 (1992)","DOI":"10.1007\/3-540-56496-9_14"},{"issue":"6","key":"6_CR21","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1049\/iet-cdt.2010.0158","volume":"5","author":"A Mokhov","year":"2011","unstructured":"Mokhov, A., Alekseyev, A., Yakovlev, A.: Encoding of processor instruction sets with explicit concurrency control. IET Comput. Digital Tech. 5(6), 427\u2013439 (2011)","journal-title":"IET Comput. Digital Tech."},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"de Gennaro, A., Stankaitis, P., Mokhov, A.: A heuristic algorithm for deriving compact models of processor instruction sets. In: International Conference on Application of Concurrency to System Design (ACSD) (2015)","DOI":"10.1109\/ACSD.2015.17"},{"key":"6_CR23","volume-title":"Synthesis of Finite State Machines: Logic Optimization","author":"T Villa","year":"2012","unstructured":"Villa, T., Kam, T., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: Synthesis of Finite State Machines: Logic Optimization. Springer, New York (2012)"},{"issue":"3\u20134","key":"6_CR24","doi-asserted-by":"crossref","first-page":"343","DOI":"10.3233\/FI-2011-612","volume":"113","author":"M Sol\u00e9","year":"2011","unstructured":"Sol\u00e9, M., Carmona, J.: Light region-based techniques for process discovery. Fundam. Inf. 113(3\u20134), 343\u2013376 (2011)","journal-title":"Fundam. Inf."},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process discovery using integer linear programming. In: ATPN, pp. 368\u2013387 (2008)","DOI":"10.1007\/978-3-540-68746-7_24"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/978-3-540-75183-0_24","volume-title":"Business Process Management","author":"CW G\u00fcnther","year":"2007","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: Fuzzy mining \u2013 adaptive process simplification based on multi-perspective metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328\u2013343. Springer, Heidelberg (2007)"},{"key":"6_CR27","unstructured":"Weijters, A.J.M.M., van der Aalst, W.M.P., Alves de Medeiros, A.K.: Process mining with the heuristics miner-algorithm. Technical Report WP 166, BETA Working Paper Series, Eindhoven University of Technology (2006)"},{"key":"6_CR28","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.tcs.2013.04.028","volume":"493","author":"S Haar","year":"2013","unstructured":"Haar, S., Kern, C., Schwoon, S.: Computing the reveals relation in occurrence nets. Theor. Comput. Sci. 493, 66\u201379 (2013)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR29","series-title":"McGraw Hill Series in Computer Science","volume-title":"Machine Learning","author":"TM Mitchell","year":"1997","unstructured":"Mitchell, T.M.: Machine Learning. McGraw Hill Series in Computer Science. McGraw-Hill, New York (1997)"},{"issue":"1","key":"6_CR30","first-page":"81","volume":"1","author":"JR Quinlan","year":"1986","unstructured":"Quinlan, J.R.: Induction of decision trees. Mach. Learn. 1(1), 81\u2013106 (1986)","journal-title":"Mach. Learn."},{"issue":"3","key":"6_CR31","first-page":"273","volume":"20","author":"C Cortes","year":"1995","unstructured":"Cortes, C., Vapnik, V.: Support-vector networks. Mach. Learn. 20(3), 273\u2013297 (1995)","journal-title":"Mach. Learn."},{"issue":"1","key":"6_CR32","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/1656274.1656278","volume":"11","author":"M Hall","year":"2009","unstructured":"Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The WEKA data mining software: an update. ACM SIGKDD Explor. Newsl. 11(1), 10\u201318 (2009)","journal-title":"ACM SIGKDD Explor. Newsl."},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1007\/978-3-540-73094-1_30","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"I Poliakov","year":"2007","unstructured":"Poliakov, I., Sokolov, D., Mokhov, A.: Workcraft: a static data flow structure editing, visualisation and analysis tool. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 505\u2013514. Springer, Heidelberg (2007)"},{"key":"6_CR34","unstructured":"The Scenco tool website (2015). http:\/\/www.workcraft.org\/scenco"},{"key":"6_CR35","unstructured":"The Weka tool website (2015). http:\/\/www.cs.waikato.ac.nz\/ml\/weka"},{"key":"6_CR36","unstructured":"Marlow, S., et al.: Haskell 2010 language report (2010). http:\/\/www.haskell.org\/"},{"key":"6_CR37","unstructured":"ActiTraC: Active Trace Clustering (2014). http:\/\/www.processmining.be\/actitrac\/"},{"key":"6_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-319-19488-2_2","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"M Dumas","year":"2015","unstructured":"Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: Process mining reloaded: event structures as a unified representation of process models and event logs. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 33\u201348. Springer, Heidelberg (2015)"},{"issue":"2","key":"6_CR39","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/j.is.2011.08.003","volume":"37","author":"RP Jagadeesh Chandra Bose","year":"2012","unstructured":"Jagadeesh Chandra Bose, R.P., van der Aalst, W.M.P.: Process diagnostics using trace alignment: opportunities, issues, and challenges. Inf. Syst. 37(2), 117\u2013141 (2012)","journal-title":"Inf. Syst."},{"key":"6_CR40","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/978-3-319-15895-2_7","volume-title":"Business Process Management Workshops","author":"X Lu","year":"2015","unstructured":"Lu, X., Fahland, D., van der Aalst, W.M.P.: Conformance checking based on partially ordered event data. In: Fournier, F., Mendling, J. (eds.) BPM 2014 Workshops. LNBIP, vol. 202, pp. 75\u201388. Springer, Heidelberg (2015)"},{"key":"6_CR41","doi-asserted-by":"crossref","unstructured":"Lu, X., Mans, R., Fahland, D., van der Aalst, W.M.P.: Conformance checking in healthcare based on partially ordered event data. In: Proceedings of the IEEE Emerging Technology and Factory Automation, ETFA, Barcelona, Spain, 16\u201319 September, pp. 1\u20138 (2014)","DOI":"10.1109\/ETFA.2014.7005060"},{"key":"6_CR42","series-title":"Lecture Notes in Business Information Processing","first-page":"1","volume-title":"SIMPDA 2014","author":"M Leemans","year":"2014","unstructured":"Leemans, M., van der Aalst, W.M.P.: Discovery of frequent episodes in event logs. In: Ceravolo, P., Russo, B., Accorsi, R. (eds.) SIMPDA 2014. LNBIP, vol. 237, pp. 1\u201331. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53401-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,25]],"date-time":"2020-09-25T18:46:52Z","timestamp":1601059612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53401-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662534007","9783662534014"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53401-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}