上一条: Maximally permissive supervisor control of timed discrete-event systems under partial observation
下一条: Deciding detectability for labeled Petri nets