{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:31Z","timestamp":1742914231734,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":18,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461462293"},{"type":"electronic","value":"9781461462309"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4614-6230-9_9","type":"book-chapter","created":{"date-parts":[[2013,2,2]],"date-time":"2013-02-02T00:26:54Z","timestamp":1359764814000},"page":"133-148","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Analyzing Vessel Behavior Using Process Mining"],"prefix":"10.1007","author":[{"given":"Fabrizio M.","family":"Maggi","sequence":"first","affiliation":[]},{"given":"Arjan J.","family":"Mooij","sequence":"additional","affiliation":[]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,3]]},"reference":[{"issue":"3","key":"9_CR1","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1093\/logcom\/exn075","volume":"20","author":"A Bauer","year":"2010","unstructured":"Bauer A, Leucker M, Schallhart C (2010) Comparing LTL semantics for runtime verification. J Log Comput 20(3):651\u2013674","journal-title":"J Log Comput"},{"issue":"2","key":"9_CR2","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1023\/A:1008779610539","volume":"18","author":"I Beer","year":"2001","unstructured":"Beer I, Ben-David S, Eisner C, Rodeh Y (2001) Efficient detection of vacuity in temporal model checking. Form Methods Syst Des 18(2):141\u2013163","journal-title":"Form Methods Syst Des"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Eisner C, Fisman D, Havlicek J, Mcisaac A, Lustig Y, van Campenhout D (2003) Reasoning with temporal logic on truncated paths. In: International conference on computer aided verification, vol\u00a02725. Springer, Berlin\/New York, pp\u00a027\u201340","DOI":"10.1007\/978-3-540-45069-6_3"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"G\u00fcnther CW, van\u00a0der Aalst WMP (2007) Fuzzy mining \u2013 adaptive process simplification based on multi-perspective metrics. In: Business process management conference, vol\u00a04714. Springer, Berlin\/New York, pp\u00a0328\u2013343","DOI":"10.1007\/978-3-540-75183-0_24"},{"key":"9_CR5","unstructured":"International Telecommunications Union (2001) Technical characteristics for a universal shipborne Automatic Identification System using time division multiple access in the VHF maritime mobile band, Recommendation ITU-R M.1371-1"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Jagadeesh\u00a0Chandra Bose RP, van\u00a0der Aalst WMP (2009) Abstractions in process mining: a taxonomy of patterns. In: Business process management conference. Springer, Berlin\/New York, pp\u00a0159\u2013175","DOI":"10.1007\/978-3-642-03848-8_12"},{"issue":"2","key":"9_CR7","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/s100090100062","volume":"4","author":"O Kupferman","year":"2003","unstructured":"Kupferman O, Vardi MY (2003) Vacuity detection in temporal model checking. Int J Softw Tools Technol Transf 4(2):224\u2013233","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"5","key":"9_CR8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker M, Schallhart C (2009) A brief account of runtime verification. J Log Algebraic Program 78(5):293\u2013303","journal-title":"J Log Algebraic Program"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Maggi FM, Montali M, Westergaard M, van\u00a0der Aalst WMP (2011) Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma R, Toumani F, Wolf K (eds) International conference on business process management (BPM 2011). Lecture notes in computer science, vol\u00a06896. Springer, Berlin\/New York, pp\u00a0132\u2013147","DOI":"10.1007\/978-3-642-23059-2_13"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Maggi FM, Mooij AJ, van\u00a0der Aalst WMP (2011) User-guided discovery of declarative process models. In: IEEE symposium on computational intelligence and data mining (CIDM). IEEE Computer Society, Piscataway, pp\u00a0192\u2013199","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Maggi FM, Westergaard M, Montali M, van\u00a0der Aalst WMP (2012) Runtime verification of LTL-based declarative process models. In: Khurshid S, Sen K (eds) International conference on runtime verification (RV 2011). Lecture notes in computer science, vol\u00a07186. Springer, Berlin\/New York, pp\u00a0131\u2013146","DOI":"10.1007\/978-3-642-29860-8_11"},{"key":"9_CR12","unstructured":"Pesic M (2008) Constraint-based workflow management systems: shifting Controls to users. Ph.D. thesis, Beta Research School for Operations Management and Logistics, Eindhoven University of Technology"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Pesic M, Schonenberg H, van\u00a0der Aalst WMP (2007) Declare: full support for loosely-structured processes. In: IEEE international EDOC conference. IEEE, Los Alamitos, pp\u00a0287\u2013300","DOI":"10.1109\/EDOC.2007.14"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Annual IEEE symposium on foundations of computer science, Providence, pp\u00a046\u201357","DOI":"10.1109\/SFCS.1977.32"},{"issue":"5","key":"9_CR15","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/s10009-009-0134-1","volume":"12","author":"J Simmonds","year":"2010","unstructured":"Simmonds J, Davies J, Gurfinkel A, Chechik M (2010) Exploiting resolution proofs to speed up LTL vacuity detection for BMC. Int J Softw Tools Technol Transf 12(5):319\u2013335","journal-title":"Int J Softw Tools Technol Transf"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"van\u00a0der Aalst WMP (2011) Process mining: discovery, conformance and enhancement of business processes. Springer, Berlin Heidelberg\/New York","DOI":"10.1007\/978-3-642-19345-3"},{"issue":"2","key":"9_CR17","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"WMP Aalst","year":"2009","unstructured":"van\u00a0der Aalst WMP, Pesic M, Schonenberg H (2009) Declarative workflows: balancing between flexibility and support. Comput Sci Res Dev 23(2):99\u2013113","journal-title":"Comput Sci Res Dev"},{"key":"9_CR18","unstructured":"Weske M (2007) Business process management: concepts, languages, architectures. Springer, Berlin\/New York"}],"container-title":["Situation Awareness with Systems of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-6230-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T14:46:40Z","timestamp":1683816400000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-6230-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781461462293","9781461462309"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-6230-9_9","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"3 January 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}