Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems.

Nasreddine Aoumeur, Gunter Saake

Browse the full CaiSE paper archive.