Completeness results for single-path Petri nets

DOI10.1006/INCO.1993.1055zbMath0786.68075OpenAlexW2086631659MaRDI QIDQ690244

Louis E. Rosier, Petr Jančar, Rodney R. Howell

Publication date: 6 May 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/c695f8267c17957a1b85d415fa35ae7e5bcfd20b

zbMATH Keywords

persistent Petri nets

Mathematics Subject Classification ID

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

Related Items (3)

Bounded self-stabilizing Petri nets ⋮ The complexity of problems involving structurally bounded and conservative Petri nets ⋮ A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application

This page was built for publication: Completeness results for single-path Petri nets