Specifying and validating consistent and dynamically evolving concurrent information systems: an object Petri net based approach

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]

Abstract

Abstract is missing.