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.