For the most recent entries see the Petri Nets Newsletter.

State Space Modelling in the Design of Robust Software for Distributed Systems: A Case Study.

Carpenter, G.F.

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.

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

Back to the Petri Nets Bibliography