GPU based virtual machine for Sleptsov net computing

DOI10.1142/S0129626424500129MaRDI QIDQ6656783FDOQ6656783

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

Publication date: 3 January 2025

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

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

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)

Cites Work

• Direct Methods for Sparse Linear Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Title not available (Why is that?)
• Parallel Programming
• Universal Sleptsov net
• Strong sleptsov nets are Turing complete
• Sleptsov nets are Turing-complete

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)