Small Universal Non-deterministic Petri Nets with Inhibitor Arcs
Résumé
no abstract
Communication Dans Un Congrès
Année : 2014
Sergiu Ivanov : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01161698
Soumis le : lundi 8 juin 2015-23:48:54
Dernière modification le : vendredi 24 mars 2023-14:53:00
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⟩
47
Consultations
0
Téléchargements