For the most recent entries see the Petri Nets Newsletter.

A Formal Net Specification of the Communication in a Distributed Computer System.

Eggert, H.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography