@article{lin03cpn,
  author =	 {Yih-Kai Lin and Cheng-Hong Li and Hsu-Chun Yen},
  title =	 {Synthesis of Control Policies for Lossy Controlled
                  Petri Nets},
  journal =	 {IEICE Transactions: Systems and Control},
  year =	 {2003},
  volume =	 {86},
  number =	 {7},
  pages =	 {1790--1798},
  month =	 jul,
}