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]
@inproceedings{GarouiMK15, title = {The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation}, author = {Mohamed Garoui and Belhassen Mazigh and Abderrafiaa Koukam}, year = {2015}, doi = {10.1109/SNPD.2015.7176278}, url = {http://dx.doi.org/10.1109/SNPD.2015.7176278}, researchr = {https://researchr.org/publication/GarouiMK15}, cites = {0}, citedby = {0}, pages = {657-663}, booktitle = {16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015, Takamatsu, Japan, June 1-3, 2015}, publisher = {IEEE}, isbn = {978-1-4799-8676-7}, }