Antoni Ligeza, Krzysztof Kluza, Grzegorz J. Nalepa, Tomasz Potempa. AI Approach to Formal Analysis of BPMN Models. Towards a Logical Model for BPMN Diagrams. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Federated Conference on Computer Science and Information Systems - FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings. pages 931-934, 2012. [doi]
Abstract is missing.