In: Proc. IFAC Conf. on Control Systems Design (CSD'2000), 18-20 June 2000, Bratislava, Slovak Republic, pages 281-286. 2000.
Abstract: The design of supervisors for Petri nets containing both uncontrollable and unobservable transitions is studied. The control goal is that the marking always satisfies a linear inequality, defining a so called legal set. Supervisors are designed by using linear programming techniques.
Keywords: Petri nets, legal sets, supervisory control, uncontrollable transitions, unobservable transitions.