Title: An object oriented Petri net approach to embedded system design