Small Universal Non-deterministic Petri Nets with Inhibitor Arcs

Abstract : no abstract
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01161698
Contributor : Sergiu Ivanov <>
Submitted on : Monday, June 8, 2015 - 11:48:54 PM
Last modification on : Tuesday, April 3, 2018 - 5:04:01 PM

Identifiers

Collections

Citation

Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.186--197, ⟨10.1007/978-3-319-09704-6_17⟩. ⟨hal-01161698⟩

Share

Metrics

Record views

34