M. Uzam, Z. W. Li and M. C. Zhou, “Identification and Elimination of Redundant Control Places in Petri Net Based Liveness Enforcing Supervi-sors of FMS,” International Journal of Advanced Manufactur-ing Technology, Vol. 35, No. 1-2, 2007, pp. 150-168. doi:10.1007/s00170- 006-0701-5

has been cited by the following article:

• TITLE: α-Siphons of a Suboptimal Control Model of a Subclass of Petri Nets

  AUTHORS: Daniel Yuh Chao

  KEYWORDS: Petri Nets, Siphons, Controllability, FMS, S3PR

  JOURNAL NAME: Intelligent Control and Automation, Vol.2 No.1, March 4, 2011

  ABSTRACT: It has been a hot research topic to synthesize maximally permissive controllers with fewest monitors. So far, all maximally permissive control models for a well-known benchmark are generalized Petri net, which com-plicates the system. In addition, they all relied on time-consuming reachability analysis. Uzam and Zhou ap-ply First-met-bad-marking (FBM) method to the benchmark to achieve a near maximal permissive control policy with the advantage of no weighted control (WC) arcs. To improve the state of the art, it is interesting to synthesize optimal controller with as few weighted arcs as possible since it is unclear how to optimize the control for siphon involving WC arcs, This paper explores the condition to achieve optimal controller with-out WC and defining a new type of siphon, called α-siphon. If the condition is not met, one can apply the technique by Piroddi et al. to synthesize optimal controllers with WC.