Paper Abstract and Keywords |
Presentation |
2014-03-06 13:25
High-speed Petri Net Simulation Using Matrix Compression and GPGPU Takashi Kawamura, Yoichiro Sato, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Kazutami Arimoto (Okayama Prefectural Univ.) CAS2013-106 SIP2013-152 CS2013-119 |
Abstract |
(in Japanese) |
(See Japanese page) |
(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) |
(in English) |
GALS system / performance evaluation / petri net / incidence matrix / list / / / |
Reference Info. |
IEICE Tech. Rep., vol. 113, no. 463, CAS2013-106, pp. 91-96, March 2014. |
Paper # |
CAS2013-106 |
Date of Issue |
2014-02-27 (CAS, SIP, CS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Notes on Review |
This article is a technical report without peer review, and its polished version will be published elsewhere. |
Download PDF |
CAS2013-106 SIP2013-152 CS2013-119 |
|