Algebras of coloured Petri nets - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2010

Algebras of coloured Petri nets

Franck Pommereau
Informatique, Biologie Intégrative et Systèmes Complexes
CV

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
Pom-LAP-2010.pdf (874.72 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Franck Pommereau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02309870

Soumis le : jeudi 10 octobre 2019-13:47:43

Dernière modification le : lundi 22 avril 2024-16:24:07

Télécharger pour visualiser

Dates et versions

hal-02309870 , version 1 (10-10-2019)

Identifiants

  • HAL Id : hal-02309870 , version 1

Citer

Franck Pommereau. Algebras of coloured Petri nets: and their applications to modelling and verification. LAP LAMBERT Academic Publishing, 2010, 978-3843361132. ⟨hal-02309870⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-EVRY IBISC IBISC-COSMO
35 Consultations
369 Téléchargements

Partager

Gmail Facebook X LinkedIn More