Belil, Fevzi GrosspIETsch, Karl E. <br/><br/>
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions Approach and Case Study 

 - 513-526 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software Specification<br/>Petri Nets<br/>Fault Tolerance