{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T13:06:49Z","timestamp":1726060009883},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030348427"},{"type":"electronic","value":"9783030348434"}],"license":[{"start":{"date-parts":[[2019,11,27]],"date-time":"2019-11-27T00:00:00Z","timestamp":1574812800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-34843-4_3","type":"book-chapter","created":{"date-parts":[[2019,11,26]],"date-time":"2019-11-26T02:02:39Z","timestamp":1574733759000},"page":"27-36","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Verification of BPMN Models"],"prefix":"10.1007","author":[{"given":"Mihal","family":"Brumbulli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Gaudin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Berre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,27]]},"reference":[{"key":"3_CR1","unstructured":"OMG: OMG Business Process Model and Notation (BPMN). Version 2.0.2. OMG Standard, Object Management Group (2013). \nhttp:\/\/www.omg.org\/spec\/UML\/2.5"},{"key":"3_CR2","unstructured":"ITU-T: Specification and Description Language \u2013 Overview of SDL-2010. ITU-T Recommendation, International Telecommunication Union \u2013 Telecommunication Standardization Sector (2011). \nhttp:\/\/handle.itu.int\/11.1002\/1000\/11387"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"1064","DOI":"10.1016\/j.procs.2016.09.282","volume":"100","author":"O Allani","year":"2016","unstructured":"Allani, O., Ghannouchi, S.: Verification of BPMN 2.0 process models: an event log-based approach. Proc. Comput. Sci. 100, 1064\u20131070 (2016)","journal-title":"Proc. Comput. Sci."},{"key":"3_CR4","unstructured":"BIMP: BIMP - The Business Process Simulator (2019)"},{"key":"3_CR5","unstructured":"Aguilar, J., Hasebe, K., Mazzara, M., Kato, K.: Model Checking of BPMN Models for Reconfigurable Workflows. CoRR abs\/1607.00478 (2016)"},{"key":"3_CR6","unstructured":"Freitas, A., Pereira, J.: Process simulation support in BPM tools: The case of BPMN (2015)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Krishna, A., Poizat, P., Sala\u00fcn, G.: VBPMN: automated verification of BPMN processes. In: 13th International Conference on integrated Formal Methods (iFM 2017) (2017)","DOI":"10.1007\/978-3-319-66845-1_21"},{"key":"3_CR8","unstructured":"Suchenia, A., Wisniewski, P., Ligeza, A.: Overview of verification tools for business process models. In: Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, 3\u20136 September 2017, pp. 295\u2013302 (2017)"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-34843-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,26]],"date-time":"2019-11-26T02:04:49Z","timestamp":1574733889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-34843-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,27]]},"ISBN":["9783030348427","9783030348434"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-34843-4_3","relation":{},"subject":[],"published":{"date-parts":[[2019,11,27]]},"assertion":[{"value":"27 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CSDM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Complex Systems Design & Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 December 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 December 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"csdm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}