Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal

Nasreddine Aoumeur, Gunter Saake. Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal. Data \& Knowledge Engineering, 50(2):117-173, 2004. [doi]

Abstract

Abstract is missing.