GPU based virtual machine for Sleptsov net computing

DOI10.1142/S0129626424500129MaRDI QIDQ6656783zbMATH OpenFDO

Authors T. R. Shmeleva, Ivan D. Zaitsev, Werner Retschitzegger

Publication date 3 January 2025

Published in Parallel Processing Letters (Search for Journal in Brave)

zbMATH Keywords

scalabilityGPUHPCmartix with condensed columnsSleptsov net computing

Mathematics Subject Classification ID

Computational methods for sparse matrices (65F50) Mathematical problems of computer architecture (68M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Universal Sleptsov net
• Towards a GPU-based implementation of interaction nets
• Accelerating Petri-net simulations using NVIDIA graphics processing units
• Paradigm of computations on the Petri nets
• Simulating a P system based efficient solution to SAT by using GPUs

Cites work

• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 51442 (Why is no real title available?)
• scientific article; zbMATH DE number 3520320 (Why is no real title available?)
• Direct Methods for Sparse Linear Systems
• Parallel Programming
• Sleptsov nets are Turing-complete
• Strong sleptsov nets are Turing complete
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Universal Sleptsov net

This page was built for publication: GPU based virtual machine for Sleptsov net computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6656783)