Login / Signup

Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming.

Mi ZhaoYifan HouDing Liu
Published in: Int. J. Control (2010)
Keyphrases