Iwan Tabakow. Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems. J. UCS, 13(2):224-243, 2007. [doi]
@article{Tabakow07,
title = {Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems},
author = {Iwan Tabakow},
year = {2007},
url = {http://www.jucs.org/jucs_13_2/using_place_invariants_and},
tags = {testing},
researchr = {https://researchr.org/publication/Tabakow07},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {13},
number = {2},
pages = {224-243},
}