Synchronization mechanism of autonomous decentralized systems modelled by state machine decomposable nets. - Dong-Ik Lee; Sadatoshi Kumagai; Shinzo Kodama (ISADS, 1993)

Polynomial order algorithms for structural and behavioral analysis of state machine allocatable nets. - Dong-Ik Lee; Tadaaki Nishimura; Sadatoshi Kumagai; Shinzo Kodama (ISCAS, 1993)

Handles and Reachability Analysis of Free Choice Nets. - Dong-Ik Lee; Sadatoshi Kumagai; Shinzo Kodama (Application and Theory of Petri Nets, 1995)

Equivalent Net Abstraction and Firing Sequence Preservation. - Masato Nakagawa; Dong-Ik Lee; Sadatoshi Kumagai; Shinzo Kodama (ISCAS, 1995)

Stabilization and blocking in state feedback control of discrete event systems. - Shigemasa Takai; Toshimitsu Ushio; Shinzo Kodama (Discret. Event Dyn. Syst., 1995)

The infimal controllable and N-observable superpredicate of a given predicate. - Shigemasa Takai; Toshimitsu Ushio; Shinzo Kodama (IEEE Trans. Autom. Control., 1995)

Static-state feedback control of discrete-event systems under partial observation. - Shigemasa Takai; Toshimitsu Ushio; Shinzo Kodama (IEEE Trans. Autom. Control., 1995)

Formulas for the extremal controllable sequences in timed-event graphs. - Shigemasa Takai; Shinzo Kodama (IEEE Trans. Autom. Control., 1998)