An object-oriented modeling approach based on entity-relationship diagrams and Petri nets.

Antonio Boccalatte, Davide Giglio, Massimo Paolucci

Browse the full SMC paper archive.