1995 | ||
---|---|---|
3 | Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama: Handles and Reachability Analysis of Free Choice Nets. Application and Theory of Petri Nets 1995: 298-315 | |
2 | Masato Nakagawa, Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama: Equivalent Net Abstraction and Firing Sequence Preservation. ISCAS 1995: 513-516 | |
1993 | ||
1 | Dong-Ik Lee, Tadaaki Nishimura, Sadatoshi Kumagai, Shinzo Kodama: Polynomial order algorithms for structural and behavioral analysis of state machine allocatable nets. ISCAS 1993: 2709-2712 |
1 | Sadatoshi Kumagai | [1] [2] [3] |
2 | Dong-Ik Lee | [1] [2] [3] |
3 | Masato Nakagawa | [2] |
4 | Tadaaki Nishimura | [1] |