Concurrent systems analysis using ECATNets

The main objective of this paper is to show how to extend the ECATNet model, which is a form of high-level algebraic nets, with new objects and morphisms in order to have a more expressive model-based diagnosis of concurrent systems. Our formulation is accomplished by exploiting the similarity between the categorical models of linear logic and those of ECATNets which are also categories in the rewriting logic framework. The categorical interpretation of the extra structure is inspired from that of some linear logic connectors. In particular, the useful interpretation of the extra object ⊥, provided a richer specification language, based on ECATNets, for the study of ‘negative’ properties.