In: Proc. IEEE Int. Conf. on Systems, Man and Cybernetics (SMC'97), pages 1722-1727. 1997.
Abstract: This paper presents a specification formalism, hierarchical algebraic nets (HANs), which allows the specification and design of heterogeneous concurrent distributed systems using hierarchical descriptions based on algebraic specifications and Petri nets. A simple example is firstly given in order to present the graphical representation associated with HANsm then the abstract syntax and formal semantics are described. The interesting aspects of HAN for reactive distributed system development are listed and the link between the HAN model to the SANDS development environment is summarized.
Keywords: formal specifications, hierarchical algebraic nets.