Editor and simulator of variation of Petri Nets.