Yuki MURAKAMI


Two Sufficient Conditions on Refactorizability of Acyclic Extended Free Choice Workflow Nets to Acyclic Well-Structured Workflow Nets and Their Application
Ichiro TOYOSHIMA Shingo YAMAGUCHI Yuki MURAKAMI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/02/01
Vol. E98-A  No. 2  pp. 635-644
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
workflow netextended free choice WF-netwell-structured WF-netrefactorizabilityPT-handleTP-handle
 Summary | Full Text:PDF

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