An algebraic Petri Nets emulator