Presentation | 2011/11/10 A Method of Generating Incidence Matrices for High-Speed Petri Net Simulation Masafumi KONDO, Yusuke KOYOSHI, Tomoyuki YOKOGAWA, Yoichiro SATO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | A high-speed method of evaluating performance of large scale digital systems by combination with analytical approaches and simulation - based approaches. In this method, it is necessary to generate a lot of event graphs described as a sequence of firing transitions and their occurrence times. It is clear that as much as a system becomes large, the necessary time of performance evaluation increases because event graphs are generated by incidence matrix operations. In this study, we propose a method of generating the incidence matrices in which non-zero elements are locally arranged and have a form of a band matrix. By the use of this matrix, the required time of matrix operations can be decreased, because the target elements with which matrix operations are executed can be confimed. According to the experimental results of performance evaluation using the tool based on our generating method, the necessary time of evaluation can be decreased to about 30%. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | GALS system / performance evaluation / petri net / incidence matrix |
Paper # | MSS2011-36,CAS2011-67 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2011/11/10(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) | A Method of Generating Incidence Matrices for High-Speed Petri Net Simulation |
Sub Title (in English) | |
Keyword(1) | GALS system |
Keyword(2) | performance evaluation |
Keyword(3) | petri net |
Keyword(4) | incidence matrix |
1st Author's Name | Masafumi KONDO |
1st Author's Affiliation | Graduate School of Systems Engineering, Okayama Prefectural University() |
2nd Author's Name | Yusuke KOYOSHI |
2nd Author's Affiliation | Graduate School of Systems 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 | Yoichiro SATO |
4th Author's Affiliation | Department of System Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University |
Date | 2011/11/10 |
Paper # | MSS2011-36,CAS2011-67 |
Volume (vol) | vol.111 |
Number (no) | 294 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |