"Towards an Object Petri Nets Model for Specifying and Validating ..."

Nasreddine Aoumeur, Gunter Saake (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics