Modeling User Specification Based on Supervisor Control and Petri Nets. - Yujin Song; Jongwoog Kim; Jongkun Lee (CIMCA/IAWTIC/ISE, 2008)