Safety checker for Petri Nets (and monotonic extensions)