DEMON (Design Methods Based on Nets), Technical Report DSI/LRI (Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, Italy / Laboratoire de Recherche en Informatique, Univ. de Paris-Sud, Centre d'Orsay, France), May 1991.
Abstract: The aim of this paper is to study the relationships between two different models of high-level Petri nets with abstract data types. The first one is OBJSA nets, the second one is algebraic high-level nets. The authors prove, using category concepts, that a bijection can be established between these classes of nets, and they show which analysis techniques and compositionality mechanims can be used on such models.
Keywords: (relation between) OBJSA net(s) (and) algebraic net scheme(s); OBJ language; superposed automata net; high-level net (with) abstract data type; compositionality.