{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:18Z","timestamp":1750308438004,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T00:00:00Z","timestamp":1571788800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,23]]},"DOI":"10.1145\/3372938.3373013","type":"proceedings-article","created":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T03:54:01Z","timestamp":1578455641000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Visual Language for Specifying Verification Properties"],"prefix":"10.1145","author":[{"given":"Outman","family":"El hichami","sequence":"first","affiliation":[{"name":"Abdelmalek Essaadi University, Higher Normal School, Tetouan, Morocco"}]},{"given":"Mohamed","family":"Naoum","sequence":"additional","affiliation":[{"name":"Abulcasis International University of Health Sciences, Rabat, Morocco"}]},{"given":"Mohammed","family":"Al Achhab","sequence":"additional","affiliation":[{"name":"Abdelmalek Essaadi University, National school of applied sciences Tetouan, Morocco"}]},{"given":"Badr Eddine","family":"El Mohajir","sequence":"additional","affiliation":[{"name":"Abdelmalek Essaadi University, Tetouan, Morocco"}]},{"given":"Mohamed","family":"Lazaar","sequence":"additional","affiliation":[{"name":"Ensias, Mohammed V University Rabat, Morocco"}]}],"member":"320","published-online":{"date-parts":[[2020,1,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"EMISA (LNI)","author":"Awad Ahmed","year":"2007","unstructured":"Ahmed Awad . 2007. BPMN-Q: A Language to Query Business Processes .. In EMISA (LNI) , Manfred Reichert, Stefan Strecker, and Klaus Turowski (Eds.), Vol. P-119 . GI , 115--128. http:\/\/dblp.uni-trier.de\/db\/conf\/emisa\/emisa 2007 .html#Awad07 Ahmed Awad. 2007. BPMN-Q: A Language to Query Business Processes.. In EMISA (LNI), Manfred Reichert, Stefan Strecker, and Klaus Turowski (Eds.), Vol. P-119. GI, 115--128. http:\/\/dblp.uni-trier.de\/db\/conf\/emisa\/emisa2007.html#Awad07"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2012.06.002"},{"key":"e_1_3_2_1_3_1","volume-title":"Hildebrandt","author":"Christiansen David Raymond","year":"2010","unstructured":"David Raymond Christiansen , Marco Carbone , and Thomas T . Hildebrandt . 2010 . Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.. In WS-FM (Lecture Notes in Computer Science), Mario Bravetti and Tevfik Bultan (Eds.), Vol. 6551 . Springer , 146--160. http:\/\/dblp.uni-trier.de\/db\/conf\/wsfm\/wsfm2010.html#ChristiansenCH10 David Raymond Christiansen, Marco Carbone, and Thomas T. Hildebrandt. 2010. Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.. In WS-FM (Lecture Notes in Computer Science), Mario Bravetti and Tevfik Bultan (Eds.), Vol. 6551. Springer, 146--160. http:\/\/dblp.uni-trier.de\/db\/conf\/wsfm\/wsfm2010.html#ChristiansenCH10"},{"volume-title":"Workshop. Springer-Verlag","author":"Clarke Edmund M.","key":"e_1_3_2_1_4_1","unstructured":"Edmund M. Clarke and E. Allen Emerson . 1982. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In Logic of Programs , Workshop. Springer-Verlag , London, UK, UK, 52--71. http:\/\/dl.acm.org\/citation.cfm?id=648063.747438 Edmund M. Clarke and E. Allen Emerson. 1982. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In Logic of Programs, Workshop. Springer-Verlag, London, UK, UK, 52--71. http:\/\/dl.acm.org\/citation.cfm?id=648063.747438"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2014.03.005"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21069"},{"key":"e_1_3_2_1_7_1","volume-title":"ER (2008-10-20) (Lecture Notes in Computer Science), Qing Li, Stefano Spaccapietra, Eric Yu, and Antoni Oliv\u00c3l' (Eds.)","author":"Decker Gero","year":"2008","unstructured":"Gero Decker , Hagen Overdick , and Mathias Weske . 2008. Oryx - Sharing Conceptual Models on the Web .. In ER (2008-10-20) (Lecture Notes in Computer Science), Qing Li, Stefano Spaccapietra, Eric Yu, and Antoni Oliv\u00c3l' (Eds.) , Vol. 5231 . Springer , 536--537. http:\/\/dblp.uni-trier.de\/db\/conf\/er\/er 2008 .html#DeckerOW08 Gero Decker, Hagen Overdick, and Mathias Weske. 2008. Oryx - Sharing Conceptual Models on the Web.. In ER (2008-10-20) (Lecture Notes in Computer Science), Qing Li, Stefano Spaccapietra, Eric Yu, and Antoni Oliv\u00c3l' (Eds.), Vol. 5231. Springer, 536--537. http:\/\/dblp.uni-trier.de\/db\/conf\/er\/er2008.html#DeckerOW08"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.01.004"},{"key":"e_1_3_2_1_10_1","unstructured":"Outman El Hichami. 2017. BPVSL v1.0. https:\/\/github.com\/elhichamioutman\/bpvsl. (2017).  Outman El Hichami. 2017. BPVSL v1.0. https:\/\/github.com\/elhichamioutman\/bpvsl. (2017)."},{"key":"e_1_3_2_1_11_1","volume-title":"Ismail Berrada, and Badr Eddine El Mohajir.","author":"Hichami Outman El","year":"2014","unstructured":"Outman El Hichami , Mohammed Al Achhab , Ismail Berrada, and Badr Eddine El Mohajir. 2014 . Short : Graphical Specification and Automatic Verification of Business Process.. In NETYS (Lecture Notes in Computer Science), Guevara Noubir and Michel Raynal (Eds.), Vol. 8593 . Springer , 341--346. http:\/\/dblp.uni-trier.de\/db\/conf\/netys\/netys2014.html#HichamiABM14 Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, and Badr Eddine El Mohajir. 2014. Short: Graphical Specification and Automatic Verification of Business Process.. In NETYS (Lecture Notes in Computer Science), Guevara Noubir and Michel Raynal (Eds.), Vol. 8593. Springer, 341--346. http:\/\/dblp.uni-trier.de\/db\/conf\/netys\/netys2014.html#HichamiABM14"},{"key":"e_1_3_2_1_12_1","volume-title":"VECoS (CEUR Workshop Proceedings), Hassane Alla and Louiza Bouallouche-Medjkoune (Eds.)","volume":"1256","author":"Hichami Outman El","year":"2014","unstructured":"Outman El Hichami , Mohammed Al Achhab , Ismail Berrada , and Badr Eddine El Mohajir . 2014 . Visual Specification Language and Automatic Checking of Business Process .. In VECoS (CEUR Workshop Proceedings), Hassane Alla and Louiza Bouallouche-Medjkoune (Eds.) , Vol. 1256 . CEUR-WS.org, 93--101. http:\/\/dblp.uni-trier.de\/db\/conf\/vecos\/vecos2014.html#HichamiABM14 Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, and Badr Eddine El Mohajir. 2014. Visual Specification Language and Automatic Checking of Business Process.. In VECoS (CEUR Workshop Proceedings), Hassane Alla and Louiza Bouallouche-Medjkoune (Eds.), Vol. 1256. CEUR-WS.org, 93--101. http:\/\/dblp.uni-trier.de\/db\/conf\/vecos\/vecos2014.html#HichamiABM14"},{"key":"e_1_3_2_1_13_1","first-page":"486","article-title":"An approach of optimisation and formal verification of workflow petri nets","volume":"61","author":"Hichami Outman El","year":"2014","unstructured":"Outman El Hichami , Badr Eddine El Mohajir , Mohammed Al Achhab , Ismail Berrada , and Rachid Oucheikh . 2014 . An approach of optimisation and formal verification of workflow petri nets . Journal of Theoretical and Applied Information Technology 61 , 3 (2014), 486 -- 495 . Outman El Hichami, Badr Eddine El Mohajir, Mohammed Al Achhab, Ismail Berrada, and Rachid Oucheikh. 2014. An approach of optimisation and formal verification of workflow petri nets. Journal of Theoretical and Applied Information Technology 61, 3 (2014), 486--495.","journal-title":"Journal of Theoretical and Applied Information Technology"},{"key":"e_1_3_2_1_14_1","volume-title":"Mohammed Al Achhab, Ismail Berrada, and Rachid Oucheikh.","author":"Hichami Outman El","year":"2014","unstructured":"Outman El Hichami , Badr Eddine El Mohajir , Mohammed Al Achhab, Ismail Berrada, and Rachid Oucheikh. 2014 . Towards formal verification of business process using a graphical specification.. In CIST, Mohammed El Mohajir, Mohammed Al Achhab, and Mohamed Chahhou (Eds.). IEEE , 12--17. http:\/\/dblp.uni-trier.de\/db\/conf\/cist\/cist2014.html#HichamiMABO14 Outman El Hichami, Badr Eddine El Mohajir, Mohammed Al Achhab, Ismail Berrada, and Rachid Oucheikh. 2014. Towards formal verification of business process using a graphical specification.. In CIST, Mohammed El Mohajir, Mohammed Al Achhab, and Mohamed Chahhou (Eds.). IEEE, 12--17. http:\/\/dblp.uni-trier.de\/db\/conf\/cist\/cist2014.html#HichamiMABO14"},{"key":"e_1_3_2_1_15_1","volume-title":"Ismail Berrada, and Badr Eddine El Mohajir.","author":"Hichami Outman El","year":"2015","unstructured":"Outman El Hichami , Mohamed Naoum , Mohammed Al Achhab , Ismail Berrada, and Badr Eddine El Mohajir. 2015 . An Algebraic Method for Analysing Control Flow of BPMN Models . iJES 3, 3 (2015), 20--26. http:\/\/dblp.uni-trier.de\/db\/journals\/i-jes\/i-jes3.html#HichamiNABM15 Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Ismail Berrada, and Badr Eddine El Mohajir. 2015. An Algebraic Method for Analysing Control Flow of BPMN Models. iJES 3, 3 (2015), 20--26. http:\/\/dblp.uni-trier.de\/db\/journals\/i-jes\/i-jes3.html#HichamiNABM15"},{"key":"e_1_3_2_1_16_1","volume-title":"Ismail Berrada, and Badr Eddine El Mohajir.","author":"Hichami Outman El","year":"2015","unstructured":"Outman El Hichami , Mohamed Naoum , Mohammed Al Achhab , Ismail Berrada, and Badr Eddine El Mohajir. 2015 . Towards a Formal Semantics and Analysis of BPMN Gateways.. In NETYS (Lecture Notes in Computer Science), Ahmed Bouajjani and Hugues Fauconnier (Eds.), Vol. 9466 . Springer , 474--478. http:\/\/dblp.uni-trier.de\/db\/conf\/netys\/netys2015.html#HichamiNABM15 Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Ismail Berrada, and Badr Eddine El Mohajir. 2015. Towards a Formal Semantics and Analysis of BPMN Gateways.. In NETYS (Lecture Notes in Computer Science), Ahmed Bouajjani and Hugues Fauconnier (Eds.), Vol. 9466. Springer, 474--478. http:\/\/dblp.uni-trier.de\/db\/conf\/netys\/netys2015.html#HichamiNABM15"},{"volume-title":"Organizing Business Knowledge: The MIT Process","author":"Klein Mark","key":"e_1_3_2_1_17_1","unstructured":"Mark Klein and Chrysanthos Dellarocas . 2003. Designing robust business processes . In In Organizing Business Knowledge: The MIT Process . MIT Press , 434--438. Mark Klein and Chrysanthos Dellarocas. 2003. Designing robust business processes. In In Organizing Business Knowledge: The MIT Process. MIT Press, 434--438."},{"key":"e_1_3_2_1_18_1","volume-title":"Nalepa","author":"Kluza Krzysztof","year":"2012","unstructured":"Krzysztof Kluza , Krzysztof Kaczor , and Grzegorz J . Nalepa . 2012 . Enriching Business Processes with Rules Using the Oryx BPMN Editor.. In ICAISC (2) (Lecture Notes in Computer Science), Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, and Jacek M. Zurada (Eds.), Vol. 7268 . Springer , 573--581. http:\/\/dblp.uni-trier.de\/db\/conf\/icaisc\/icaisc2012-2.html#KluzaKN12 Krzysztof Kluza, Krzysztof Kaczor, and Grzegorz J. Nalepa. 2012. Enriching Business Processes with Rules Using the Oryx BPMN Editor.. In ICAISC (2) (Lecture Notes in Computer Science), Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, and Jacek M. Zurada (Eds.), Vol. 7268. Springer, 573--581. http:\/\/dblp.uni-trier.de\/db\/conf\/icaisc\/icaisc2012-2.html#KluzaKN12"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-013-0237-8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.05.005"},{"volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Manna Zohar","key":"e_1_3_2_1_21_1","unstructured":"Zohar Manna and Amir Pnueli . 1992. The Temporal Logic of Reactive and Concurrent Systems . Springer-Verlag New York, Inc. , New York, NY, USA . Zohar Manna and Amir Pnueli. 1992. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag New York, Inc., New York, NY, USA."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2009.03.009"},{"key":"e_1_3_2_1_23_1","article-title":"Hypercube Graph Decomposition for Boolean Simplification: An Optimization of Business Process Verification","volume":"10","author":"Mohamed NAOUM, Outman EL HICHAMI, Mohammed","year":"2019","unstructured":"Mohamed NAOUM, Outman EL HICHAMI, Mohammed AL ACHHAB, and Badr eddine EL MOHAJIR. 2019 . Hypercube Graph Decomposition for Boolean Simplification: An Optimization of Business Process Verification . International Journal of Advanced Computer Science and Applications 10 , 2 (2019). https:\/\/doi.org\/10.14569\/IJACSA.2019.0100261 10.14569\/IJACSA.2019.0100261 Mohamed NAOUM, Outman EL HICHAMI, Mohammed AL ACHHAB, and Badr eddine EL MOHAJIR. 2019. Hypercube Graph Decomposition for Boolean Simplification: An Optimization of Business Process Verification. International Journal of Advanced Computer Science and Applications 10, 2 (2019). https:\/\/doi.org\/10.14569\/IJACSA.2019.0100261","journal-title":"International Journal of Advanced Computer Science and Applications"},{"key":"e_1_3_2_1_24_1","volume-title":"Archive of Formal Proofs 2014","author":"Neumann Ren\u00c3l'","year":"2014","unstructured":"Ren\u00c3l' Neumann . 2014. Promela Formalization . Archive of Formal Proofs 2014 ( 2014 ). http:\/\/dblp.uni-trier.de\/db\/journals\/afp\/afp2014.html#Neumann14 Ren\u00c3l' Neumann. 2014. Promela Formalization. Archive of Formal Proofs 2014 (2014). http:\/\/dblp.uni-trier.de\/db\/journals\/afp\/afp2014.html#Neumann14"},{"key":"e_1_3_2_1_25_1","unstructured":"OMG. 2012. Object Management Group (OMG). (2012). http:\/\/www.omg.org\/  OMG. 2012. Object Management Group (OMG). (2012). http:\/\/www.omg.org\/"},{"issue":"0","key":"e_1_3_2_1_26_1","first-page":"2","article-title":"Business Process Model and Notation (BPMN)","volume":"2","author":"OMG.","year":"2013","unstructured":"OMG. 2013 . Business Process Model and Notation (BPMN) , Version 2 . 0 . 2 . (December 2013). http:\/\/www.omg.org\/spec\/BPMN\/2.0.2 OMG. 2013. Business Process Model and Notation (BPMN), Version 2.0.2. (December 2013). http:\/\/www.omg.org\/spec\/BPMN\/2.0.2","journal-title":"Version"},{"key":"e_1_3_2_1_28_1","article-title":"Business Process Modeling- A Comparative Analysis","volume":"10","author":"Recker Jan","year":"2009","unstructured":"Jan Recker , Michael Rosemann , Marta Indulska , and Peter F. Green . 2009 . Business Process Modeling- A Comparative Analysis . J. AIS 10 , 4 (2009). http:\/\/dblp.uni-trier.de\/db\/journals\/jais\/jais10.html#ReckerRIG09 Jan Recker, Michael Rosemann, Marta Indulska, and Peter F. Green. 2009. Business Process Modeling- A Comparative Analysis. J. AIS 10, 4 (2009). http:\/\/dblp.uni-trier.de\/db\/journals\/jais\/jais10.html#ReckerRIG09","journal-title":"J. AIS"},{"volume-title":"16th Australasian Conference on Information Systems, Bruce Campbell, Jim Underwood, and Deborah Bunker (Eds.). Australasian","author":"Recker Jan C.","key":"e_1_3_2_1_29_1","unstructured":"Jan C. Recker , Marta Indulska , Michael Rosemann , and Peter Green . 2005. Do Process Modelling Techniques Get Better? A Comparative Ontological Analysis of BPMN . In 16th Australasian Conference on Information Systems, Bruce Campbell, Jim Underwood, and Deborah Bunker (Eds.). Australasian Chapter of the Association for Information Systems, Sydney and Australia . http:\/\/eprints.qut.edu.au\/2879\/ Jan C. Recker, Marta Indulska, Michael Rosemann, and Peter Green. 2005. Do Process Modelling Techniques Get Better? A Comparative Ontological Analysis of BPMN. In 16th Australasian Conference on Information Systems, Bruce Campbell, Jim Underwood, and Deborah Bunker (Eds.). Australasian Chapter of the Association for Information Systems, Sydney and Australia. http:\/\/eprints.qut.edu.au\/2879\/"},{"key":"e_1_3_2_1_30_1","volume-title":"BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. Lecture Notes in Computer Science","volume":"9850","author":"Rosa Marcello La","year":"2016","unstructured":"Marcello La Rosa , Peter Loos , and Oscar Pastor ( Eds .). 2016 . Business Process Management - 14th International Conference , BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. Lecture Notes in Computer Science , Vol. 9850 . Springer. http:\/\/dblp.uni-trier.de\/db\/conf\/bpm\/bpm 2016.html Marcello La Rosa, Peter Loos, and Oscar Pastor (Eds.). 2016. Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. Lecture Notes in Computer Science, Vol. 9850. Springer. http:\/\/dblp.uni-trier.de\/db\/conf\/bpm\/bpm2016.html"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166795"},{"key":"e_1_3_2_1_32_1","volume-title":"Business Process Management Workshops (Lecture Notes in Business Information Processing), Marcello La Rosa and Pnina Soffer (Eds.)","volume":"132","author":"Sakr Sherif","year":"2012","unstructured":"Sherif Sakr , Ahmed Awad , and Matthias Kunze . 2012 . Querying Process Models Repositories by Aggregated Graph Search .. In Business Process Management Workshops (Lecture Notes in Business Information Processing), Marcello La Rosa and Pnina Soffer (Eds.) , Vol. 132 . Springer, 573--585. http:\/\/dblp.uni-trier.de\/db\/conf\/bpm\/bpmw 2012.html#SakrAK12 Sherif Sakr, Ahmed Awad, and Matthias Kunze. 2012. Querying Process Models Repositories by Aggregated Graph Search.. In Business Process Management Workshops (Lecture Notes in Business Information Processing), Marcello La Rosa and Pnina Soffer (Eds.), Vol. 132. Springer, 573--585. http:\/\/dblp.uni-trier.de\/db\/conf\/bpm\/bpmw2012.html#SakrAK12"},{"key":"e_1_3_2_1_33_1","volume-title":"Functional safety verification on railway signaling system with Colored Petri Nets","author":"She Xiaoli","year":"2014","unstructured":"Xiaoli She , Jiyuan Zhao , and Jian Yang . 2014. Functional safety verification on railway signaling system with Colored Petri Nets .. In ITSC. IEEE , 2713--2717. http:\/\/dblp.uni-trier.de\/db\/conf\/itsc\/itsc 2014 .html#SheZY14 Xiaoli She, Jiyuan Zhao, and Jian Yang. 2014. Functional safety verification on railway signaling system with Colored Petri Nets.. In ITSC. IEEE, 2713--2717. http:\/\/dblp.uni-trier.de\/db\/conf\/itsc\/itsc2014.html#SheZY14"},{"key":"e_1_3_2_1_34_1","unstructured":"spinrdf.org. 2012. SPIN - SPARQL Inferencing Notation. (2012). http:\/\/spinrdf.org\/  spinrdf.org. 2012. SPIN - SPARQL Inferencing Notation. (2012). http:\/\/spinrdf.org\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2693208.2693238"},{"key":"e_1_3_2_1_36_1","volume-title":"Anne Rozinat, Vladimir Rubin, Minseok Song, H. M. W. (Eric) Verbeek, and A. J. M. M. Weijters.","author":"van der Aalst Wil M. P.","year":"2007","unstructured":"Wil M. P. van der Aalst , Boudewijn F. van Dongen , Christian W. G\u00c3ijnther , R. S. Mans , Ana Karla Alves de Medeiros , Anne Rozinat, Vladimir Rubin, Minseok Song, H. M. W. (Eric) Verbeek, and A. J. M. M. Weijters. 2007 . ProM 4.0: Comprehensive Support for Real Process Analysis.. In ICATPN (Lecture Notes in Computer Science), Jetty Kleijn and Alexandre Yakovlev (Eds.), Vol. 4546 . Springer , 484--494. http:\/\/dblp.uni-trier.de\/db\/conf\/apn\/icatpn2007.html#AalstDGMMRRSVW07 Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. G\u00c3ijnther, R. S. Mans, Ana Karla Alves de Medeiros, Anne Rozinat, Vladimir Rubin, Minseok Song, H. M. W. (Eric) Verbeek, and A. J. M. M. Weijters. 2007. ProM 4.0: Comprehensive Support for Real Process Analysis.. In ICATPN (Lecture Notes in Computer Science), Jetty Kleijn and Alexandre Yakovlev (Eds.), Vol. 4546. Springer, 484--494. http:\/\/dblp.uni-trier.de\/db\/conf\/apn\/icatpn2007.html#AalstDGMMRRSVW07"},{"key":"e_1_3_2_1_37_1","volume-title":"CAiSE (2008-06-11) (Lecture Notes in Computer Science), Zohra Bellahsene and Michel L\u00c3l'onard (Eds.)","author":"Weber Barbara","year":"2008","unstructured":"Barbara Weber and Manfred Reichert . 2008. Refactoring Process Models in Large Process Repositories .. In CAiSE (2008-06-11) (Lecture Notes in Computer Science), Zohra Bellahsene and Michel L\u00c3l'onard (Eds.) , Vol. 5074 . Springer , 124--139. http:\/\/dblp.uni-trier.de\/db\/conf\/caise\/caise 2008 .html#WeberR08 Barbara Weber and Manfred Reichert. 2008. Refactoring Process Models in Large Process Repositories.. In CAiSE (2008-06-11) (Lecture Notes in Computer Science), Zohra Bellahsene and Michel L\u00c3l'onard (Eds.), Vol. 5074. Springer, 124--139. http:\/\/dblp.uni-trier.de\/db\/conf\/caise\/caise2008.html#WeberR08"},{"key":"e_1_3_2_1_38_1","volume-title":"ter Hofstede, and Nick Russell","author":"Wohed Petia","year":"2006","unstructured":"Petia Wohed , Wil M. P. van der Aalst , Marlon Dumas , Arthur H. M. ter Hofstede, and Nick Russell . 2006 . On the Suitability of BPMN for Business Process Modelling.. In Business Process Management (2006-12-04) (Lecture Notes in Computer Science), Schahram Dustdar, Jos\u00c3l' Luiz Fiadeiro, and Amit P. Sheth (Eds.), Vol. 4102 . Springer , 161--176. http:\/\/dblp.uni-trier.de\/db\/conf\/bpm\/bpm2006.html#WohedADHR06 Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, and Nick Russell. 2006. On the Suitability of BPMN for Business Process Modelling.. In Business Process Management (2006-12-04) (Lecture Notes in Computer Science), Schahram Dustdar, Jos\u00c3l' Luiz Fiadeiro, and Amit P. Sheth (Eds.), Vol. 4102. Springer, 161--176. http:\/\/dblp.uni-trier.de\/db\/conf\/bpm\/bpm2006.html#WohedADHR06"}],"event":{"name":"BDIoT'19: The 4th International Conference On Big Data and Internet of Things","acronym":"BDIoT'19","location":"Rabat Morocco"},"container-title":["Proceedings of the 4th International Conference on Big Data and Internet of Things"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372938.3373013","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372938.3373013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:58Z","timestamp":1750268998000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372938.3373013"}},"subtitle":["A Tool for Optimisation and Verification of Business Process Properties"],"short-title":[],"issued":{"date-parts":[[2019,10,23]]},"references-count":36,"alternative-id":["10.1145\/3372938.3373013","10.1145\/3372938"],"URL":"https:\/\/doi.org\/10.1145\/3372938.3373013","relation":{},"subject":[],"published":{"date-parts":[[2019,10,23]]},"assertion":[{"value":"2020-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}