For the most recent entries see the Petri Nets Newsletter.

Establishing a Relationship Between OBJSA Nets and Algebraic Net Schemes.

Battiston, Eugenio; Petrucci, Laure; Rapanotti, Lucia

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography