For the most recent entries see the Petri Nets Newsletter.

OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems.

Battiston, Eugenio; De Cindio, Fiorella; Mauri, Giancarlo

51(e): Technical Report 4. Progretto Finalizzato Sistemi Informatici e Calcolo Parallelo. Consiglio Nazionale delle Ricerche (CNR), Italy, October 1990.

Abstract: The authors define OBJSA net systems, where the attention is focused on the possibility of building the net system through composition of its components and on the use of algebraic specification techniques for describing the individual tokens. The resulting specification language takes full advantage of the best features of Petri nets and algebraic specification techniques. This mutual advantage takes ist full form when combined with the modularization and compositionality features. In section 2 a first overview of the proposed approach is given. In section 3 some ``built-in'' objects and theories are specified and tested. Section 4 contains concluding remarks.

Keywords: OBJSA net; OBJ language; superposed automata net; algebraic specification (of tokens); compositionality; modularization.


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

Back to the Petri Nets Bibliography