Real-Time Systems Control Based on Object Oriented Concepts and Petri Nets | IEEE Conference Publication | IEEE Xplore