Controlled timed Petri nets: equivalence relations, model reduction. - René K. Boel; Behzad Bordbar; Geert Stremersch (SMC, 1998)

Reduction of the supervisory control problem for Petri nets. - Geert Stremersch; René K. Boel (IEEE Trans. Autom. Control., 2000)

Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness. - Geert Stremersch; René K. Boel (IEEE Trans. Autom. Control., 2001)

Structuring Acyclic Petri Nets for Reachability Analysis and Control. - Geert Stremersch; René K. Boel (Discret. Event Dyn. Syst., 2002)