Small Universal Petri Nets with Inhibitor Arcs - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Article Dans Une Revue CoRR Année : 2013

Small Universal Petri Nets with Inhibitor Arcs

(1) , (1) ,

1

Sergiu Ivanov

Fonction : Auteur
PersonId : 752542
IdHAL : sergiu-ivanov
ORCID : 0000-0002-1537-6508
IdRef : 191283711

Laboratoire d'Algorithmique Complexité et Logique

Elisabeth Pelz

Fonction : Auteur
PersonId : 6225
IdHAL : elisabeth-pelz
IdRef : 068686684

Laboratoire d'Algorithmique Complexité et Logique

Sergey Verlan

Fonction : Auteur
PersonId : 5913
IdHAL : sergey-verlan
ORCID : 0000-0001-7800-1618
IdRef : 081672446

Résumé

no abstract

Domaines

Complexité [cs.CC] Théorie et langage formel [cs.FL] Calcul formel [cs.SC]

Sergiu Ivanov : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01161702

Soumis le : lundi 8 juin 2015-23:49:07

Dernière modification le : vendredi 24 mars 2023-14:53:00

Dates et versions

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

Identifiants

HAL Id : hal-01161702 , version 1

Citer

Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan. Small Universal Petri Nets with Inhibitor Arcs. CoRR, 2013, abs/1312.4414, pp.1-18. ⟨hal-01161702⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC

35 Consultations

0 Téléchargements

Partager