Computing bounds for forbidden state reachability functions for controlled Petri nets

Lawrence E. Holloway, Ajit S. Khare, Yu Gong

Research output: Contribution to journalArticlepeer-review

23 Scopus citations

Fingerprint

Dive into the research topics of 'Computing bounds for forbidden state reachability functions for controlled Petri nets'. Together they form a unique fingerprint.

Earth and Planetary Sciences

Computer Science