上一条: Marking diagnosability verification in labeled Petri nets
下一条: Supervisory control for stabilization under multiple local average payoff constraints