Strong Sleptsov nets are Turing complete
Dmitry A. Zaitsev
Topics & Concepts
Petri netComputer scienceTuring machineNet (polyhedron)Construct (python library)TuringDescription numberProbabilistic Turing machineDiscrete mathematicsUniversal Turing machineTheoretical computer scienceProgramming languageMathematicsComputationGeometryPetri Nets in System Modelingsemigroups and automata theoryFormal Methods in Verification