Supervisory Controller Design to Enforce Some Basic Properties in Timed Petri Nets - Aydın Aybar; Aybar, Aydın; Altuğ İftar; İftar, Altuğ (My University, 2009)
Keywords: Liveness; Petri net; Supervisory control; Controller (irrigation); Control theory (sociology); Computer science; State (computer science); Stochastic Petri net; Control engineering; Control (management); Distributed computing; Engineering; Algorithm; Artificial intelligence