Presentation | 2017-03-17 Dependency Analysis of Transitions in Retention-Free Petri Net Atsushi Mizuta, Qi-Wei GE, Hiroshi Matsuno, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | This paper aims to derive the transitions with dependent relation one another in retention-free Petri net. Firstly, we concretely define operations of dependent shrink based on dependent relation we have defined till now. Secondly, through topological analysis of retention-free Petri net, we prove the preservation of dependent relation of transitions before and after applying dependent shrink. After that, we propose a method to obtain a maximum subnet satisfying dependent relation and further prove the preservation of dependent relation for the whole nets before and after applying dependent shrink. Finally, to show the effectiveness of our proposed method, we apply our proposed method to the IL-3 Petri net model. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | signaling pathway / Petri net / retention-free Petri net / dependent shrink / dependent relation |
Paper # | MSS2016-93 |
Date of Issue | 2017-03-09 (MSS) |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2017/3/16(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Shimane Univ. |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Satoshi Yamane(Kanazawa Univ.) |
Vice Chair | Morikazu Nakamura(Univ. of Ryukyus) |
Secretary | Morikazu Nakamura(Yamaguchi Univ.) |
Assistant | Hideki Kinjo(Okinawa Univ.) |
Paper Information | |
Registration To | Technical Committee on Mathematical Systems Science and its applications |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Dependency Analysis of Transitions in Retention-Free Petri Net |
Sub Title (in English) | |
Keyword(1) | signaling pathway |
Keyword(2) | Petri net |
Keyword(3) | retention-free Petri net |
Keyword(4) | dependent shrink |
Keyword(5) | dependent relation |
1st Author's Name | Atsushi Mizuta |
1st Author's Affiliation | Yamaguchi University(Yamaguchi Univ.) |
2nd Author's Name | Qi-Wei GE |
2nd Author's Affiliation | Yamaguchi University(Yamaguchi Univ.) |
3rd Author's Name | Hiroshi Matsuno |
3rd Author's Affiliation | Yamaguchi University(Yamaguchi Univ.) |
Date | 2017-03-17 |
Paper # | MSS2016-93 |
Volume (vol) | vol.116 |
Number (no) | MSS-525 |
Page | pp.pp.67-72(MSS), |
#Pages | 6 |
Date of Issue | 2017-03-09 (MSS) |