Forschungsberichte Kernforschungs-Zentrum Karlsruhe, Report No. KfK4630, 1989.
Abstract: The Predicate/Transition Net provides very compact net specifications; so it is possible to describe a concurrent system in a formal manner and to validate its causal behavior already during the design phase. In this environment, a net specification was developed which provides a formal description of an application protocol for a communication system. This communication system is the central part of our distributed Fast Reactor Diagnostic System DESYRE (Diagnostic Expert SYstem for Reactor Surveillance).
Keywords: formal net specification; distributed computer system; predicate/transition net; concurrent system design; application protocol; DESYRE; reactor surveillance.