Petri Nets: Central Models and Their Properties