Login / Signup

An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming.

Mi ZhaoYifan Hou
Published in: Discret. Event Dyn. Syst. (2013)
Keyphrases