Small Universal Non-deterministic Petri Nets with Inhibitor Arcs

DOI10.1007/978-3-319-09704-6_17zbMath1416.68122OpenAlexW110297527MaRDI QIDQ5496188

Elisabeth Pelz, Sergiu Ivanov, Sergey Verlan

Publication date: 7 August 2014

Published in: Descriptional Complexity of Formal Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09704-6_17

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis ⋮ Universal Sleptsov net ⋮ Universality in Molecular and Cellular Computing ⋮ Small Universal Devices ⋮ Universality in Infinite Petri Nets ⋮ Small asynchronous P systems with inhibitors defining non-semilinear sets ⋮ Small Universal Reversible Counter Machines

Uses Software

• AMPL
• Gurobi

This page was built for publication: Small Universal Non-deterministic Petri Nets with Inhibitor Arcs