Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems

Iwan Tabakow. Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems. J. UCS, 13(2):224-243, 2007. [doi]

Abstract

Abstract is missing.