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.

Battiston, E., De Cindio, F., Mauri, G., Rapanotti, L. (1991). Morphisms and Minimal Models for OBJSA Nets. In Application and Theory of Petri NetsBerlin (pp.455-476).

Morphisms and Minimal Models for OBJSA Nets

MAURI, GIANCARLO;
1991

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.
slide + paper
algebraic semantics; OBJ3; Petri Nets
English
Application and Theory of Petri Nets. 12th International Conference
1991
Application and Theory of Petri NetsBerlin
1991
455
476
none
Battiston, E., De Cindio, F., Mauri, G., Rapanotti, L. (1991). Morphisms and Minimal Models for OBJSA Nets. In Application and Theory of Petri NetsBerlin (pp.455-476).
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/44929
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact