Antoni Ligeza, Tomasz Potempa. AI Approach to Formal Analysis of BPMN Models: Towards a Logical Model for BPMN Diagrams. In Maria Mach-Król, Tomasz Pelech-Pilichowski, editors, Advances in Business ICT, result of the 3rd International Workshop on Advances in Business ICT, ABICT 2012, Wroclaw, Poland, September 9-12, 2012. Volume 257 of Advances in Intelligent Systems and Computing, pages 69-88, Springer, 2012. [doi]
Abstract is missing.