Thèse. Paris-Orsay, France, January 1991.
Abstract: Algebraic nets combine the expression power of both abstract data types and Petri nets. The modelling power of these nets is countervailed by their difficult analysis. The goal of this thesis is to analyse algebraic nets: semantics in terms of simpler models, composition/decomposition, invariants, semi-covering graphs, reductions.
Keywords: analysis (of) algebraic net(s); abstract data type; algebraic net semantics; composition; decomposition; invariant; semi-covering graph; reduction.