Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delay - Archive ouverte HAL
Article Dans Une Revue Fundamenta Informaticae Année : 2012

Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delay

Elisabeth Pelz
Laboratoire d'Algorithmique Complexité et Logique
L. Popova-Zeugmann
  • Fonction : Auteur

Domaines

Théorie et langage formel [cs.FL] Calcul parallèle, distribué et partagé [cs.DC] Logique en informatique [cs.LO]

Elisabeth Pelz  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01667527

Soumis le : mardi 19 décembre 2017-14:21:30

Dernière modification le : jeudi 31 août 2023-12:14:35

Fichier non déposé

Dates et versions

hal-01667527 , version 1 (19-12-2017)

Identifiants

  • HAL Id : hal-01667527 , version 1

Citer

Elisabeth Pelz, L. Popova-Zeugmann. Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delay. Fundamenta Informaticae, 2012. ⟨hal-01667527⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
44 Consultations
0 Téléchargements

Partager

More