Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Small universal deterministic Petri nets with inhibitors arcs

From MaRDI portal
Publication:3178869
Jump to:navigation, search

DOI10.25596/JALC-2016-007zbMATH Open1359.68214MaRDI QIDQ3178869FDOQ3178869


Authors: Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan Edit this on Wikidata


Publication date: 20 December 2016





Recommendations

  • Small universal non-deterministic Petri nets with inhibitor arcs
  • scientific article; zbMATH DE number 7357525
  • Universal Petri net
  • Synthesis of nets with inhibitor arcs
  • Reachability in Petri nets with inhibitor arcs


zbMATH Keywords

descriptional complexityuniversalityuniversal Petri net


Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)



Cited In (3)

  • Small Universal Reversible Counter Machines
  • Title not available (Why is that?)
  • Title not available (Why is that?)





This page was built for publication: Small universal deterministic Petri nets with inhibitors arcs

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3178869&oldid=16353865"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 22:01. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki