| Presentation | 2014-03-06 High-speed Petri Net Simulation Using Matrix Compression and GPGPU Takashi KAWAMURA, Yoichiro SATO, Tomoyuki YOKOGAWA, Masafumi KONDO, Kazutami ARIMOTO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | We proposed a method of evaluating performance of large scale digital systems by modeling with the STPN and executing petri net simulations. In this method, however, it takes very much time to execute petri net simulations. This study propose high-speed methods of executing petri net simulations. First, we propose two methods: matrix compression technique to give the compression of row direction and column direction appropriately and expansion adjacency list technique to bi-directionally expand the list of the input and output of each node of STPN. Furthermore, we propose a concurrency technique using GPGPU. According to the experimental results using these techniques, by the matrix compression technique and the expansion list technique, speedup of about 99.8% and about 99.4% can be achived in comparison with conventionally, respectively. And then it is shown that using both the matrix compression technique and the concurrency technique in combination is most effective. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | GALS system / performance evaluation / petri net / incidence matrix / list |
| Paper # | CAS2013-106,SIP2013-152,CS2013-119 |
| Date of Issue |
| Conference Information | |
| Committee | CS |
|---|---|
| Conference Date | 2014/2/27(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 | Communication Systems (CS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | High-speed Petri Net Simulation Using Matrix Compression and GPGPU |
| Sub Title (in English) | |
| Keyword(1) | GALS system |
| Keyword(2) | performance evaluation |
| Keyword(3) | petri net |
| Keyword(4) | incidence matrix |
| Keyword(5) | list |
| 1st Author's Name | Takashi KAWAMURA |
| 1st Author's Affiliation | Graduate School of Systems Engineering, Okayama Prefectural University() |
| 2nd Author's Name | Yoichiro SATO |
| 2nd Author's Affiliation | Department of System Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University |
| 3rd Author's Name | Tomoyuki YOKOGAWA |
| 3rd Author's Affiliation | Department of System Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University |
| 4th Author's Name | Masafumi KONDO |
| 4th Author's Affiliation | Department of Medical Engineering, Faculty of Health Science and Technology, Kawasaki University of Medical Welfare |
| 5th Author's Name | Kazutami ARIMOTO |
| 5th Author's Affiliation | Department of System Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University |
| Date | 2014-03-06 |
| Paper # | CAS2013-106,SIP2013-152,CS2013-119 |
| Volume (vol) | vol.113 |
| Number (no) | 465 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |