Keyword : signaling pathway


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

An Efficient Translation Method from Timed Petri Nets to Timed Automata
Shota NAKANO Shingo YAMAGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/08/01
Vol. E95-A  No. 8 ; pp. 1402-1411
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
timed Petri netstimed automatathe amount of descriptionmodel checkingsignaling pathway
 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