Small Universal Non-deterministic Petri Nets with Inhibitor Arcs

Abstract : no abstract
Type de document :
Communication dans un congrès
Helmut Jürgensen and Juhani Karhumäki and Alexander Okhotin. Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, 2014, Unknown, Unknown Region. Springer, 8614, pp.186--197, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-09704-6_17〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01161698
Contributeur : Sergiu Ivanov <>
Soumis le : lundi 8 juin 2015 - 23:48:54
Dernière modification le : mardi 3 avril 2018 - 17:04:01

Identifiants

Collections

Citation

Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. Helmut Jürgensen and Juhani Karhumäki and Alexander Okhotin. Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, 2014, Unknown, Unknown Region. Springer, 8614, pp.186--197, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-09704-6_17〉. 〈hal-01161698〉

Partager

Métriques

Consultations de la notice

28