Application and Theory of Petri Nets and Concurrency

Fabrice Kordon; Daniel Moldt

doi:10.1007/978-3-319-39086-4

Proceedings/Recueil Des Communications Année : 2016

Application and Theory of Petri Nets and Concurrency

(1) ,

Fabrice Kordon

Fonction : Auteur
PersonId : 9774
IdHAL : fabrice-kordon
ORCID : 0000-0002-5626-828X
IdRef : 074605283

Modélisation et Vérification

Daniel Moldt

Fonction : Auteur
PersonId : 989288

Résumé

37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Mots clés

Formal verification formal modeling theoretical computer science applications tools Petri nets

Domaines

Théorie et langage formel [cs.FL] Systèmes et contrôle [cs.SY] Algorithme et structure de données [cs.DS] Systèmes embarqués

Fabrice Kordon : Connectez-vous pour contacter le contributeur

https://hal.sorbonne-universite.fr/hal-01341943

Soumis le : mardi 5 juillet 2016-10:40:57

Dernière modification le : mardi 11 avril 2023-15:16:28

Dates et versions

hal-01341943 , version 1 (05-07-2016)

Identifiants

HAL Id : hal-01341943 , version 1
DOI : 10.1007/978-3-319-39086-4

Citer

Fabrice Kordon, Daniel Moldt. Application and Theory of Petri Nets and Concurrency. 9695, 2016, Lecture Notes in Computer Science, 978-3-319-39085-7. ⟨10.1007/978-3-319-39086-4⟩. ⟨hal-01341943⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES

157 Consultations

0 Téléchargements

Application and Theory of Petri Nets and Concurrency

Résumé

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager