Preserving Partial Order Runs in Parametric Time Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Preserving Partial Order Runs in Parametric Time Petri Nets

Domaines

Théorie et langage formel [cs.FL]

Benedikt Bollig  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01242847

Soumis le : lundi 14 décembre 2015-11:00:26

Dernière modification le : vendredi 24 mars 2023-14:53:01

Fichier non déposé

Dates et versions

hal-01242847 , version 1 (14-12-2015)

Identifiants

  • HAL Id : hal-01242847 , version 1

Citer

Etienne André, Thomas Chatain, César Rodriguez. Preserving Partial Order Runs in Parametric Time Petri Nets. 15th International Conference on Application of Concurrency to System Design (ACSD'15), 2015, Brussels, Belgium. ⟨hal-01242847⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 CNRS INRIA ENS-CACHAN LIPN INRIA2 UNIV-PARIS-SACLAY GALILE SORBONNE-PARIS-NORD ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE
122 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More