This paper proposes a parallel simulation algorithm for bounded Petri nets in a single processor, which exploits the SIMD(Single Instruction Multiple Data)-type parallelism. The proposed algorithm is based on a data packing scheme which packs multiple bytes data in a single register, thereby being manipulated simultaneously. The parallelism can reduce simulation time of bounded Petri nets in a single processor environment. The effectiveness of the algorithm is demonstrated by presenting speed-up of simulation time for two bounded Petri nets.
1. 서론
2. 관련 연구
3. 데이터 중첩 방법
4. SIMD- 타입의 병렬 시뮬레이션 알고리즘
5. 실험
6. 결론
참고문헌