Mitsuru Nakata

Learn More
This paper first presents basic Petri net components representing molecular interactions and mechanisms of signalling pathways, and introduces a method to construct a Petri net model of a signalling pathway with these components. Then a simulation method of determining the delay time of transitions, by using timed Petri nets - i.e. the time taken in fi ring(More)
The purpose of this paper is to discuss how to model and analyze signaling pathways by using Petri net. Firstly, we propose a modeling method based on Petri net by paying attention to the molecular interactions and mechanisms. Then, we introduce a new notion "activation transduction component" in order to describe an enzymic activation process of reactions(More)
The bending stability and electrical properties of In- Ga-Zn-O and In-Sn-Zn-O (ITZO) thin-film transistors (TFTs) fabricated on a polyimide film are described. No significant change in the transfer characteristics of these TFTs was observed under bending at a curvature radius of 1 mm. In addition, back-channeletched TFTs fabricated on a polyimide film using(More)
This paper describes our recent progress in fabrication technologies for back-channel-etched (BCE) and self-aligned (SA) oxide thin-film transistors (TFTs). These structures enable shorter channel length and smaller parasitic capacitance than conventional etching-stopper (ES) structures, and are effective to realize large-screen, high-resolution organic(More)