Tetsuro Kondo
Papers
1
Total Citations
4
H-Index
1
About
Dr. Tetsuro Kondo is a pioneer in the hardware-level application of Petri nets for multiprocessor control, a niche yet foundational area bridging formal modeling and digital system design. His most cited work, "Hardware implementation of a multiprocessor system controlled by Petri nets" (2002, 4 citations), introduces a novel architecture where a dedicated Petri net controller orchestrates processor elements and buses using a hardware description language (HDL). This contribution demonstrates how formal concurrency models can be directly synthesized into physical control logic, offering deterministic, deadlock-free coordination for parallel systems. While his citation count remains modest, Kondo’s research is a critical reference for engineers exploring hardware-software co-design and embedded multiprocessing. His work stands out for its practical HDL-based implementation of theoretical Petri net concepts, providing a tangible pathway from abstract modeling to real-time control. For students and researchers in computer architecture or formal methods, Kondo’s approach represents an elegant solution to the challenge of managing complex, concurrent hardware operations—a testament to the enduring value of bridging theory with hardware implementation.
Research Focus
Key Achievements
Top Papers
- 1