| Presentation | 2015-03-05 Equivalent Transformation of Retention-Free Petri Net by Dependent Shrink Atsushi MIZUTA, Qi-Wei GE, Hiroshi MATSUNO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | We have investigated the properties of dependent shrink based on dependency of transitions in retention-free Petri net models of signaling pathways. Applying these properties, in this paper we propose an algorithm to do equivalent transformation for retention-free Petri nets. Concretely, we first classify dependent shrink pattern according to each place andits input and output trasitions, and then for each pattern do the dependent shrink operations. Finally, we reconstruct the Petri net basing on patterns' dependent shrink result. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Signaling Pathway / Petri net / Dependent-free Petri net / Dependent shrink |
| Paper # | MSS2014-98 |
| Date of Issue |
| Conference Information | |
| Committee | MSS |
|---|---|
| Conference Date | 2015/2/26(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Mathematical Systems Science and its applications(MSS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Equivalent Transformation of Retention-Free Petri Net by Dependent Shrink |
| Sub Title (in English) | |
| Keyword(1) | Signaling Pathway |
| Keyword(2) | Petri net |
| Keyword(3) | Dependent-free Petri net |
| Keyword(4) | Dependent shrink |
| 1st Author's Name | Atsushi MIZUTA |
| 1st Author's Affiliation | Faculty of Science, Yamaguchi University() |
| 2nd Author's Name | Qi-Wei GE |
| 2nd Author's Affiliation | Faculty of Education, Yamaguchi University |
| 3rd Author's Name | Hiroshi MATSUNO |
| 3rd Author's Affiliation | Graduate School of Science and Engineering, Yamaguchi University |
| Date | 2015-03-05 |
| Paper # | MSS2014-98 |
| Volume (vol) | vol.114 |
| Number (no) | 493 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |