In: EUTECO'88, Research into Networks and Distributed Applications: European Teleinformatics Conference, 1988, Vienna, pages 880-906. Amsterdam: North-Holland, 1988.
Abstract: An advanced analysis environment for SDL-specifications is presented. The analysis is based on the PrT-net formalism. Currently, the analysis method used is exhaustive generation of the state space of the system, i.e. reachability analysis enabling detection of all the deadlocks and livelocks. On the other hand, the use of PrT-nets makes it possible to extend the analysis environment with an invariant analysis capability.