Mohamed Garoui, Belhassen Mazigh, Abderrafiaa Koukam. The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation. In 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015, Takamatsu, Japan, June 1-3, 2015. pages 657-663, IEEE, 2015. [doi]
Abstract is missing.