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

Mohamed Garoui, Belhassen Mazigh, Abderrafiaa Koukam

Browse the full SNPD paper archive.