{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T18:29:44Z","timestamp":1760898584294,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030928742"},{"type":"electronic","value":"9783030928759"}],"license":[{"start":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T00:00:00Z","timestamp":1638489600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T00:00:00Z","timestamp":1638489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-92875-9_11","type":"book-chapter","created":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T17:04:00Z","timestamp":1650906240000},"page":"313-341","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Process Query Language"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,12,3]]},"reference":[{"key":"11_CR1","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, TU\/e (2014). http:\/\/dx.doi.org\/10.6100\/IR770080"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri net markup language: Concepts, technology, and tools. In: ICATPN. LNCS, vol. 2679, pp. 483\u2013505. Springer, New York (2003)","DOI":"10.1007\/3-540-44919-1_31"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Carmona, J., van Dongen, B.F., Solti, A., Weidlich, M.: Conformance Checking - Relating Processes and Models. Springer, New York (2018). https:\/\/doi.org\/10.1007\/978-3-319-99414-7","DOI":"10.1007\/978-3-319-99414-7"},{"issue":"12","key":"11_CR4","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"11_CR5","first-page":"244","volume":"52","author":"J Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for Petri nets\u2014a survey. Bull. EATCS 52, 244\u2013262 (1994)","journal-title":"Bull. EATCS"},{"issue":"3","key":"11_CR6","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. Formal Methods Syst. Des. 20(3), 285\u2013310 (2002)","journal-title":"Formal Methods Syst. Des."},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.is.2013.12.007","volume":"47","author":"D Fahland","year":"2015","unstructured":"Fahland, D., van der Aalst, W.M.: Model repair\u2014aligning process models to reality. Inf. Syst. 47, 220\u2013243 (2015). http:\/\/dx.doi.org\/10.1016\/j.is.2013.12.007","journal-title":"Inf. Syst."},{"key":"11_CR8","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4643.001.0001","volume-title":"The Minimum Description Length Principle (Adaptive Computation and Machine Learning)","author":"PD Gr\u00fcnwald","year":"2007","unstructured":"Gr\u00fcnwald, P.D.: The Minimum Description Length Principle (Adaptive Computation and Machine Learning). The MIT Press, Cambridge (2007)"},{"key":"11_CR9","volume-title":"Decidability Questions for Petri Nets","author":"M Hack","year":"1975","unstructured":"Hack, M.: Decidability Questions for Petri Nets. Outstanding Dissertations in the Computer Sciences. Garland Publishing, New York (1975)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Kalenkova, A.A., Polyvyanyy, A., Rosa, M.L.: A framework for estimating simplicity of automatically discovered process models based on structural and behavioral characteristics. In: BPM. Lecture Notes in Computer Science, vol. 12168, pp. 129\u2013146. Springer, New York (2020)","DOI":"10.1007\/978-3-030-58666-9_8"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Laue, R., Gruhn, V.: Complexity metrics for business process models. In: BIS. LNI, vol. P-85, pp. 1\u201312. GI (2006)","DOI":"10.1109\/COGINF.2006.365702"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Lieben, J., Jouck, T., Depaire, B., Jans, M.: An improved way for measuring simplicity during process discovery. In: EOMAS@CAiSE. Lecture Notes in Business Information Processing, vol. 332, pp. 49\u201362. Springer, New York (2018)","DOI":"10.1007\/978-3-030-00787-4_4"},{"issue":"2","key":"11_CR13","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.268955","volume":"11","author":"OI Lindland","year":"1994","unstructured":"Lindland, O.I., Sindre, G., S\u00f8lvberg, A.: Understanding quality in conceptual modeling. IEEE Softw. 11(2), 42\u201349 (1994)","journal-title":"IEEE Softw."},{"key":"11_CR14","volume-title":"The Reachability Problem Requires Exponential Space","author":"R Lipton","year":"1976","unstructured":"Lipton, R.: The Reachability Problem Requires Exponential Space. Research report. Department of Computer Science, Yale University (1976)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In: Computer Aided Verification (CAV). Lecture Notes in Computer Science, vol. 663, pp. 164\u2013177. Springer, New York (1992)","DOI":"10.1007\/3-540-56496-9_14"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, Part I. Theor. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Part I. Theor. Comput. Sci."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wynn, M.T.: Impact-driven process model repair. ACM Trans. Softw. Eng. Methodol. 25(4), 28:1\u201328:60 (2017)","DOI":"10.1145\/2980764"},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/s00165-016-0372-4","volume":"28","author":"A Polyvyanyy","year":"2016","unstructured":"Polyvyanyy, A., Armas-Cervantes, A., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: On the expressive power of behavioral profiles. Formal Asp. Comput. 28(4), 597\u2013613 (2016). http:\/\/dx.doi.org\/10.1007\/s00165-016-0372-4","journal-title":"Formal Asp. Comput."},{"key":"11_CR19","unstructured":"Polyvyanyy, A., ter Hofstede, A.H.M., Rosa, M.L., Ouyang, C., Pika, A.: Process query language: Design, implementation, and evaluation. CoRR abs\/1909.09543 (2019)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., La Rosa, M., ter Hofstede, A.H.M.: Indexing and efficient instance-based retrieval of process models using untanglings. In: CAiSE. LNCS, vol. 8484, pp. 439\u2013456. Springer, New York (2014)","DOI":"10.1007\/978-3-319-07881-6_30"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.dss.2017.04.011","volume":"100","author":"A Polyvyanyy","year":"2017","unstructured":"Polyvyanyy, A., Ouyang, C., Barros, A., van der Aalst, W.M.P.: Process querying: Enabling business intelligence through query-based process analytics. Dec. Support Syst. 100, 41\u201356 (2017). https:\/\/doi.org\/10.1016\/j.dss.2017.04.011","journal-title":"Dec. Support Syst."},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"101563","DOI":"10.1016\/j.is.2020.101563","volume":"93","author":"A Polyvyanyy","year":"2020","unstructured":"Polyvyanyy, A., Pika, A., ter Hofstede, A.H.M.: Scenario-based process querying for compliance, reuse, and standardization. Inf. Syst. 93, 101563 (2020)","journal-title":"Inf. Syst."},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., Solti, A., Weidlich, M., Ciccio, C.D., Mendling, J.: Monotone precision and recall measures for comparing executions and specifications of dynamic systems. ACM Trans. Softw. Eng. Methodol. 29(3), 17:1\u201317:41 (2020)","DOI":"10.1145\/3387909"},{"key":"11_CR24","unstructured":"Polyvyanyy, A., Weidlich, M.: Towards a compendium of process technologies: the jBPT library for process model analysis. In: CAiSE Forum, CEUR Workshop Proceedings, vol. 998, pp. 106\u2013113. CEUR-WS.org (2013)"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., Weidlich, M., Conforti, R., Rosa, M.L., ter Hofstede, A.H.M.: The 4C spectrum of fundamental behavioral relations for concurrent systems. In: Petri Nets. LNCS, vol. 8489, pp. 210\u2013232. Springer, New York (2014)","DOI":"10.1007\/978-3-319-07734-5_12"},{"key":"11_CR26","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C Rackoff","year":"1978","unstructured":"Rackoff, C.: The covering and boundedness problems for vector addition systems. Theor. Comput. Sci. 6, 223\u2013231 (1978)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR27","volume-title":"The Mathematics of Petri Nets","author":"C Reutenauer","year":"1990","unstructured":"Reutenauer, C.: The Mathematics of Petri Nets. Prentice-Hall, Inc., Upper Saddle River, NJ (1990)"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Schmidt, K.: LoLA: A low level analyser. In: Application and Theory of Petri Nets (ICATPN). Lecture Notes in Computer Science, vol. 1825, pp. 465\u2013474. Springer, New York (2000)","DOI":"10.1007\/3-540-44988-4_27"},{"issue":"10","key":"11_CR29","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"WMP van der Aalst","year":"1999","unstructured":"van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Inf. Softw. Technol. 41(10), 639\u2013650 (1999)","journal-title":"Inf. Softw. Technol."},{"key":"11_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining\u2014Data Science in Action","author":"WMP van der Aalst","year":"2016","unstructured":"van der Aalst, W.M.P.: Process Mining\u2014Data Science in Action, 2nd edn. Springer, New York (2016)","edition":"2"},{"issue":"2","key":"11_CR31","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"WMP van der Aalst","year":"2012","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012). https:\/\/doi.org\/10.1002\/widm.1045","journal-title":"Data Min. Knowl. Discov."},{"issue":"4","key":"11_CR32","first-page":"423","volume":"161","author":"K Wolf","year":"2018","unstructured":"Wolf, K.: Interleaving based model checking of concurrency and causality. Fund. Inf. 161(4), 423\u2013445 (2018). https:\/\/doi.org\/10.3233\/FI-2018-1709","journal-title":"Fund. Inf."}],"container-title":["Process Querying Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-92875-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T17:19:35Z","timestamp":1650907175000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-92875-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,3]]},"ISBN":["9783030928742","9783030928759"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-92875-9_11","relation":{},"subject":[],"published":{"date-parts":[[2021,12,3]]},"assertion":[{"value":"3 December 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}