Maximally permissive controllers for controlled time Petri nets
A. Takae, Shigemasa Takai, Toshimitsu Ushio, Satoshi Kumagai, Shinzo Kodama · 2002
Studies concurrent discrete event systems modeled by controlled time Petri nets. The authors derive a necessary and sufficient condition for the unique existence of the maximally permissive controller (MPC). Then the authors derive a closed form expression of the unique MPC if it exists.>