Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Nasreddine Aoumeur. Specifying and validating consistent and dynamically evolving concurrent information systems: an object Petri net based approach. PhD thesis, Otto-von-Guericke University Magdeburg, Germany, 2002. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: A component-based Petri net model for specifying and validating cooperative information systemsNasreddine Aoumeur, Gunter Saake. DKE, 42(2):143-187, 2002. [doi] Towards an Object Petri Nets Model for Specifying and Validating Distributed Information SystemsNasreddine Aoumeur, Gunter Saake. caise 1999: 381-395 [doi]
The following publications are possibly variants of this publication: