For the most recent entries see the Petri Nets Newsletter.

Una Specifica del Sistema Ascensore con le Reti OBJSA.

Battiston, E.

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

Abstract: The OBJSA nets combine Petri nets with algebraic specification techniques in order to allow both process abstraction and data abstraction. In particular in this formalism a real system is specified by a superposed automata net and an OBJ module. In this report a new definition of OBJSA nets is applied to the specification of an example of non-trivial size, the lift system.

Keywords: lift system specification (using) OBJSA net(s); OBJSA net, (new definition); OBJ language; superposed automata net; process abstraction; data abstraction.

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

Back to the Petri Nets Bibliography