![[IEEE 2015 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - Takamatsu, Japan (2015.6.1-2015.6.3)] 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation]()
[IEEE 2015 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - Takamatsu, Japan (2015.6.1-2015.6.3)] 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - The EventB2PN Tool: From Event-B specification to Petri Nets through model transformationGaroui, Mohamed; Mazigh, Belhassen; Koukam, Abderrafiaa · 2015