For the most recent entries see the Petri Nets Newsletter.

Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.

Belli, Fevzi; Grosspietsch, Karl E.

In: IEEE Transactions on Software Engineering, Vol. 17, No. 6, pages 513-526. June 1991.

Abstract: A new approach to systematically handle detection and correction of errors in software systems already in the design phase uses a combination of formal description methods. These methods are predicate/transition nets and regular expressions. A system model developed using this approach can systematically investigate the fault detection and correction properties of both concurrent and sequential software systems and add any necessary redundancy to enhance the detection/correction capabilities of the software system.

Keywords: fault tolerance; predicate/transition net; regular expressions approach; redundancy; correction capability.

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

Back to the Petri Nets Bibliography