Geert Stremersch

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

Geert Stremersch, René K. Boel
Structuring Acyclic Petri Nets for Reachability Analysis and Control. Discret. Event Dyn. Syst. 12 (1) (2002)
Geert Stremersch, René K. Boel
Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness. IEEE Trans. Autom. Control. 46 (9) (2001)
Geert Stremersch, René K. Boel
Reduction of the supervisory control problem for Petri nets. IEEE Trans. Autom. Control. 45 (12) (2000)
René K. Boel, Behzad Bordbar, Geert Stremersch
Controlled timed Petri nets: equivalence relations, model reduction. SMC (1998)