| Presentation | 2018-11-12 A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets Kohei Fujimori, Yojiro Harie, Katsumi Wasaki, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | State space generator is one of the analysis functions of Petri netdesign tool HiPS (Hierarchical Petri net Simulator) developed at ouruniversity. The conventional generator has a problem of massive memoryusage during the generation process for the large-scale models. Tosolve this problem, we propose a method to reduce memory usage bydetecting/deleting removable state values. Also, to improve theexecution time, this generator has been parallelized. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Petri net / Reachability graph / State space generator / Discrete event system / Formal model |
| Paper # | CAS2018-65,MSS2018-41 |
| Date of Issue | 2018-11-05 (CAS, MSS) |
| Conference Information | |
| Committee | MSS / CAS / IPSJ-AL |
|---|---|
| Conference Date | 2018/11/12(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Morikazu Nakamura(Univ. of Ryukyus) / Hideaki Okazaki(Shonan Inst. of Tech.) |
| Vice Chair | Shigemasa Takai(Osaka Univ.) / Taizo Yamawaki(Hitachi) |
| Secretary | Shigemasa Takai(Toshiba) / Taizo Yamawaki(Osaka Univ.) / (Shonan Inst. of Tech.) |
| Assistant | Hideki Kinjo(Okinawa Univ.) / Motoi Yamaguchi(Renesas Electronics) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets |
| Sub Title (in English) | |
| Keyword(1) | Petri net |
| Keyword(2) | Reachability graph |
| Keyword(3) | State space generator |
| Keyword(4) | Discrete event system |
| Keyword(5) | Formal model |
| 1st Author's Name | Kohei Fujimori |
| 1st Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 2nd Author's Name | Yojiro Harie |
| 2nd Author's Affiliation | Shinshu University(Shinshu Univ.) |
| 3rd Author's Name | Katsumi Wasaki |
| 3rd Author's Affiliation | Shinshu University(Shinshu Univ.) |
| Date | 2018-11-12 |
| Paper # | CAS2018-65,MSS2018-41 |
| Volume (vol) | vol.118 |
| Number (no) | CAS-295,MSS-296 |
| Page | pp.pp.43-47(CAS), pp.43-47(MSS), |
| #Pages | 5 |
| Date of Issue | 2018-11-05 (CAS, MSS) |