Notation for mass parallel algorithms: computing Petri net state space on GPU case study

Dmitry A. Zaitsev, Z. Zhang, Ding Liu, Tatiana R. Shmeleva. Notation for mass parallel algorithms: computing Petri net state space on GPU case study. IJPEDS, 40(2):101-115, March 2025. [doi]

Abstract

Abstract is missing.