The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation

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},
}