Small Universal Non-deterministic Petri Nets with Inhibitor Arcs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Small Universal Non-deterministic Petri Nets with Inhibitor Arcs

Sergey Verlan

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01161698 , version 1 (08-06-2015)

Identifiants

Citer

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⟩

Collections

CNRS LACL UPEC
40 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More