An Holistic State Equation for Timed Petri Nets

Elisabeth Pelz 1 Louchka Popova-Zeugmann 2 Mario Haustein 3 Matthias Werner 3
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 Institut fur Informatik
3 Technische Universität Chemnitz
Type de document :
Communication dans un congrès
CS&P 2013, Sep 2013, Warsowie, Poland
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-01800689
Contributeur : Elisabeth Pelz <>
Soumis le : dimanche 27 mai 2018 - 17:57:20
Dernière modification le : mercredi 14 novembre 2018 - 14:30:03
Document(s) archivé(s) le : mardi 28 août 2018 - 12:41:16

Fichier

CS&P13-LPZ.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01800689, version 1

Collections

UPEC-UPEM | LACL

Citation

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 TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

14

Téléchargements de fichiers

10

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD