TY  - RPRT
TI  - Fault detection and initial state verification by linear programming for a class of Petri nets
AU  - Rachell, Traxon
AU  - Meyer, David G.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19930038977
ID  - 19930038977
ER  -