Lee, D.-I.

• Yoo, Dong-Hoon; Lee, Dong-Ik; Lee, Jeong-A:
  Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations. 2004.

• Yoo, Jeong-Joon; Lee, Doheon; Lee, Dong-Ik; Kim, Joong-Bae; Jung, Seung-Woog; Seo, Beom-Su; Lee, Kyeong-Ho; Roh, Myung-Chan:
  A Comparison of RPC and Mobile Agent Paradigm for Scalable Workflow Systems using Petri Nets. 2001.

• Yoo, Jeong-Joon; Lee, Doheon; Suh, Young-Ho; Lee, Dong-Ik:
  Scalable Workflow System Model Based on Mobile Agents. 2001.

• Yoo, Jeong-Joon; Suh, Young-Ho; Lee, Dong-Ik; Jung, Seung-Woog; Jang, Choul-Soo; Kim, Joong-Bae:
  Casting Mobile Agents to Workflow Systems: On Performance and Scalability Issues. 2001.

• Yoo, K.-J.; Lee, D.-I.:
  Translating concurrent programs into speed-independent circuits through Petri net transformations. 2000.

• Choe, Y.-H.; Lee, D.-I.; Kumagai, S.:
  A basic theorem for modular synthesis of state machine allocatable nets. 1998.

• Hwang, C.-H.; Lee, D.-I.:
  A concurrency characteristic on Petri net unfolding. 1998.

• Lee, D.-I.; Kumagai, S.; Kodama, S.:
  Handles and Reachability Analysis of Free Choice Nets. 1995.

• Miyamoto, T.; Lee, D.-I.; Kumagai, S.:
  An efficient state space search for the synthesis of asynchronous circuits by subspace construction. 1995.

• Miyamoto, T.; Lee, D.-I.; Kumagai, S.:
  An Efficient Method to Derive Logic from Signal Transition Graphs for Asynchronous Circuits. 1995.

• Nishimura, T.; Lee, D.I.; Kumagai, S.; Kodama, S.:
  Efficient decomposition algorithm for flexible manufacturing systems modeled by free-choice nets. 1993.

• Akaza, M.; Lee, D.-I.; Kumagai, S.:
  Optimal Cycle Time and Facility Utilization of Pro- duction Systems Including Repetitive Process with Set-up Time Modelled by Timed Marked Graphs. 1991.

Back to the Petri Nets Bibliography