Object - Oriented Design based on High Level Petri Nets