An object-oriented modeling approach based on entity-relationship diagrams and Petri nets | IEEE Conference Publication | IEEE Xplore