1. Net structure and control logic synthesis of controlled Petri nets;Chen;IEEE Transactions on Automatic Control,1998
2. Control synthesis of Petri nets based on S-decreases;Chen;Discrete Event Dynamic Systems,2000
3. Bounded Petri nets of finite dimension have only finitely many reachable markings;Droste;Bulletin of the EATCS,1992
4. Giua, A., Di Cesare, F., & Silva, M. (1992). Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proceedings of the IEEE-SMC (pp. 974–979), Chicago, Illinois, USA.
5. On closed-loop liveness of discrete-event systems under maximally permissive control;Holloway;IEEE Transactions on Automatic Control,1992