An Holistic State Equation for Timed Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

An Holistic State Equation for Timed Petri Nets

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Théorie et langage formel [cs.FL] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
CS&P13-LPZ.pdf (256.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Elisabeth Pelz  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01800689

Soumis le : dimanche 27 mai 2018-17:57:20

Dernière modification le : vendredi 22 décembre 2023-16:00:04

Archivage à long terme le : mardi 28 août 2018-12:41:16

Télécharger pour visualiser

Dates et versions

hal-01800689 , version 1 (27-05-2018)

Identifiants

  • HAL Id : hal-01800689 , version 1

Citer

Elisabeth Pelz, Louchka Popova-Zeugmann, Mario Haustein, Matthias Werner. An Holistic State Equation for Timed Petri Nets. CS&P 2013, Sep 2013, Warsowie, Poland. ⟨hal-01800689⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
84 Consultations
36 Téléchargements

Partager

Gmail Facebook X LinkedIn More