Y. Dohi
Papers
1
Total Citations
4
H-Index
1
About
Y. Dohi is a researcher whose work bridges hardware design and formal modeling, with a primary focus on the hardware implementation of multiprocessor systems controlled by Petri nets. Their most notable contribution, detailed in the 2002 paper "Hardware implementation of a multiprocessor system controlled by Petri nets" (4 citations), demonstrates a pioneering approach to integrating Petri net-based control into physical hardware architectures. By designing a hardware model using a hardware description language (HDL), Dohi created a system comprising a Petri net controller, processor elements, and buses, enabling formal verification and efficient parallel processing. This work highlights Dohi’s expertise in applying theoretical models to practical hardware solutions, offering a foundation for reliable, real-time multiprocessor control. While their citation count reflects a niche but specialized impact, Dohi’s contributions are significant for researchers exploring the intersection of formal methods and embedded systems, particularly in safety-critical applications where Petri nets provide robust concurrency control. Their work remains a reference for those developing hardware-software co-design methodologies.
Research Focus
Key Achievements
Top Papers
- 1