# On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets

> Research article (IEEE Transactions on Automatic Control, 2015) · cited 13× · AI/ML

**Wikidata**: [openalex:W2036718662](https://www.wikidata.org/wiki/openalex:W2036718662)  
**Source**: https://4ort.xyz/entity/on-invariant-based-monitors-that-enforce-liveness-in-a-class-of-partially-controlled-general-petri-nets