Safety checker for Petri Nets (and some extensions)