Hiroshi MATSUNO


Incorporation of Cycles and Inhibitory Arcs into the Timed Petri Net Model of Signaling Pathway
Yuki MURAKAMI Qi-Wei GE Hiroshi MATSUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/02/01
Vol. E96-A  No. 2  pp. 514-524
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: Concurrent Systems
Keyword: 
signaling pathwaytimed Petri netretention-free Petri netself-loopcycleinhibitory arc
 Summary | Full Text:PDF

Delay Time Determination for the Timed Petri Net Model of a Signaling Pathway Based on Its Structural Information
Yoshimasa MIWA Yuki MURAKAMI Qi-Wei GE Chen LI Hiroshi MATSUNO Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2010/12/01
Vol. E93-A  No. 12  pp. 2717-2729
Type of Manuscript:  Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications)
Category: 
Keyword: 
Petri netsignaling pathwayfiring delay timestochastic decision ruleconflict resolution
 Summary | Full Text:PDF

Petri Net Based Descriptions for Systematic Understanding of Biological Pathways
Hiroshi MATSUNO Chen LI Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/11/01
Vol. E89-A  No. 11  pp. 3166-3174
Type of Manuscript:  INVITED SURVEY PAPER
Category: 
Keyword: 
Petri netsystems biologybiological pathwaysmodelingsimulation
 Summary | Full Text:PDF

Modeling and Simulation of Fission Yeast Cell Cycle on Hybrid Functional Petri Net
Sachie FUJITA Mika MATSUI Hiroshi MATSUNO Satoru MIYANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A  No. 11  pp. 2919-2928
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Hybrid Systems
Keyword: 
hybrid functional Petri netGenomic Object Netbiological pathwayscell cyclesimulation
 Summary | Full Text:PDF

Leaf-Size Bounded Real-Time Synchronized Alternating One-Way Multicounter Machines
Hiroshi MATSUNO Katsushi INOUE Itsuo TAKANAMI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1994/03/25
Vol. E77-D  No. 3  pp. 351-354
Type of Manuscript:  LETTER
Category: Automaton, Language and Theory of Computing
Keyword: 
alternationsynchronized alternationmulticounter machine and real-time computation
 Summary | Full Text:PDF

A Note on Synchronized Alternating Turing Machines with Small Space Bounds
Katsushi INOUE Itsuo TAKANAMI Akira ITO Hiroshi MATSUNO 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1989/11/25
Vol. E72-E  No. 11  pp. 1182-1184
Type of Manuscript:  LETTER
Category: Automation, Language and Theory of Computing
Keyword: 
 Summary | Full Text:PDF

Alternating Multihead Finite Automata with Constant Leaf-Sizes
Hiroshi MATSUNO Katsushi INOUE Itsuo TAKANAMI Hiroshi TANIGUCHI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1988/10/25
Vol. E71-E  No. 10  pp. 1006-1012
Type of Manuscript:  PAPER
Category: Automaton, Language and Theory of Computing
Keyword: 
 Summary | Full Text:PDF

A Note on Reversal Complexities of Real-Time Counter Machines
Hiroshi MATSUNO Katsushi INOUE Itsuo TAKANAMI Hiroshi TANIGUCHI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1986/08/25
Vol. E69-E  No. 8  pp. 838-839
Type of Manuscript:  LETTER
Category: Automata and Languages
Keyword: 
 Summary | Full Text:PDF

Alternating One-Way Multihead Turing Machines with Only Universal States
Shunichi SAKURAYAMA Hiroshi MATSUNO Katsushi INOUE Itsuo TAKANAMI Hiroshi TANIGUCHI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1985/10/25
Vol. E68-E  No. 10  pp. 705-711
Type of Manuscript:  PAPER
Category: Automata and Languages
Keyword: 
 Summary | Full Text:PDF