In: Microprocessing and Microprogramming, Vol. 24, No. 1-5, pages 793-799. 1988.
Abstract: A distributed system comprising a set of discrete, loosely-coupled, processes will rely on the integrity of interprocess messages. This paper considers a particular design study in which state space modeling techniques (Petri nets and UCLA graphs) are used in the design of robust software which is free from dynamic faults.
Back to the Petri Nets Bibliography