Application of Object-Oriented Petri Nets to Industrial Electronics | IEEE Conference Publication | IEEE Xplore