{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:03:46Z","timestamp":1742972626704,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"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_1","type":"book-chapter","created":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T17:04:00Z","timestamp":1650906240000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Introduction to Process Querying"],"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":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BF01872848","volume":"2","author":"KR Apt","year":"1988","unstructured":"Apt, K.R., Francez, N., Katz, S.: Appraising fairness in languages for distributed programming. Distrib. Comput. 2(4), 226\u2013241 (1988)","journal-title":"Distrib. Comput."},{"key":"1_CR2","volume-title":"Katoen","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)"},{"key":"1_CR3","unstructured":"Banks, J., II, J.S.C., Nelson, B.L., Nicol, D.M.: Discrete-Event System Simulation, 5th edn. Pearson Education (2010)"},{"key":"1_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2018","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, Second Edition. Springer (2018)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411\u2013420. ACM (1999)","DOI":"10.1145\/302405.302672"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Esparza, J.: Decidability and complexity of Petri net problems\u2014an introduction. In: Petri Nets, LNCS, vol. 1491, pp. 374\u2013428. Springer (1996)","DOI":"10.1007\/3-540-65306-6_20"},{"key":"1_CR7","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":"6","key":"1_CR8","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0020-0190(99)00074-5","volume":"70","author":"E Kindler","year":"1999","unstructured":"Kindler, E., van der Aalst, W.M.P.: Liveness, fairness, and recurrence in Petri nets. Inf. Process. Lett. 70(6), 269\u2013274 (1999)","journal-title":"Inf. Process. Lett."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Leemans, S.J., van der Aalst, W.M., Brockhoff, T., Polyvyanyy, A.: Stochastic process mining: Earth movers\u2019 stochastic conformance. Information Systems, 101724 (2021). https:\/\/doi.org\/10.1016\/j.is.2021.101724","DOI":"10.1016\/j.is.2021.101724"},{"issue":"2","key":"1_CR10","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":"1_CR11","unstructured":"Meyer, B.: Introduction to the Theory of Programming Languages. Prentice-Hall (1990)"},{"key":"1_CR12","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":"1_CR13","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A.: Business process querying. In: Encyclopedia of Big Data Technologies. Springer (2019)","DOI":"10.1007\/978-3-319-77525-8_108"},{"key":"1_CR14","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. Decis. Support Syst. 100, 41\u201356 (2017). https:\/\/doi.org\/10.1016\/j.dss.2017.04.011","journal-title":"Decis. Support Syst."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems, chap. Business Process Compliance, pp. 297\u2013317. Springer (2012)","DOI":"10.1007\/978-3-642-30409-5_10"},{"key":"1_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets\u2014Modeling Techniques, Analysis Methods","author":"W Reisig","year":"2013","unstructured":"Reisig, W.: Understanding Petri Nets\u2014Modeling Techniques, Analysis Methods, Case Studies. Springer (2013)"},{"key":"1_CR17","unstructured":"Sipser, M.: Introduction to the Theory of Computation, 3rd edn. Cengage Learning (2012)"},{"issue":"3","key":"1_CR18","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0022-0000(81)90067-2","volume":"23","author":"R Valk","year":"1981","unstructured":"Valk, R., Vidal-Naquet, G.: Petri nets and regular languages. J. Comput. Syst. Sci. 23(3), 299\u2013325 (1981)","journal-title":"J. Comput. Syst. Sci."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining\u2014Data Science in Action, 2nd edn. Springer (2016)","DOI":"10.1007\/978-3-662-49851-4"},{"issue":"2","key":"1_CR20","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. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery 2(2), 182\u2013192 (2012). https:\/\/doi.org\/10.1002\/widm.1045","journal-title":"Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes\u2014A Petri Net-Oriented Approach. MIT Press (2011)","DOI":"10.7551\/mitpress\/8811.001.0001"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Weske, M.: Business Process Management - Concepts, Languages, Architectures, 3rd edn. Springer (2019)","DOI":"10.1007\/978-3-662-59432-2_1"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"White, R.W., Roth, R.A.: Exploratory Search: Beyond the Query-Response Paradigm. Morgan & Claypool Publishers (2009)","DOI":"10.2200\/S00174ED1V01Y200901ICR003"}],"container-title":["Process Querying Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-92875-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T17:16:28Z","timestamp":1650906988000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-92875-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,3]]},"ISBN":["9783030928742","9783030928759"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-92875-9_1","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"}}]}}