Component-based software design with Petri nets : an approach based on inheritance of behavior