System Design with Object Oriented Petri Nets Formalism | IEEE Conference Publication | IEEE Xplore