The Open UniversitySkip to content
 

Morphisms and minimal models for OBJSA nets

Battiston, Eugenio; De Cindio, Fiorella; Mauri, Giancarlo and Rapanotti, Lucia (1991). Morphisms and minimal models for OBJSA nets. In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, June 1991, Gjern, Denmark.

URL: http://www.informatik.uni-hamburg.de/TGI/pnbib/b/b...
Google Scholar: Look up in Google Scholar

Abstract

OBJSA nets are a design specifications language for distributed systems, combining the specification language OBJ with Superposed Automata (SA) nets. The paper introduces the notions of morphism and isomorphism for OBJSA net systems and shows that any OBJSA net system can be reduced to a unique minimal model. This allows the definition of equivalence classes of OBJSA models. A net semantics for OBJSA net systems, in terms of 1-safe SA net systems, and algebraic semantics, in terms of OBJ3 objects, are given and it is proved that all the unfoldings, and, respectively, all the algebraic specifications of OBJSA models belonging to the same class are isomorphic.

Item Type: Conference Item
Keywords: minimal model (for) OBJSA net; distributed system; specification language OBJ; 1-safe superposed automata net; OBJSA net system semantics; algebraic semantics; OBJ3 objects
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 19144
Depositing User: Lucia Rapanotti
Date Deposited: 04 Dec 2009 14:36
Last Modified: 02 Dec 2010 20:42
URI: http://oro.open.ac.uk/id/eprint/19144
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk