Title: Petri Nets : Central Models and Their Properties