Michel Reniers

1. Results on Embeddings Between State-Based and Event-Based Systems
   2012/12/12 by M. A. Reniers, Michel Reniers, R. Schoren +2 · 2 citations
   Decision Sciences · Computer Science · #Simulation Techniques and Applications #Petri Nets in System Modeling
2. Maximally Permissive Controlled System Synthesis for Modal Logic
   2014/08/14 by Allan van Hulst, van Hulst, Allan, Michel Reniers +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Supervisory Control Theory with Event Forcing
   2024/04/12 by Michel Reniers, Reniers, Michel, Kai Cai +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering