On tick automata for distributed timed DESs with synchronisations and minimal time constraints - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IFAC-PapersOnLine Année : 2023

On tick automata for distributed timed DESs with synchronisations and minimal time constraints

Résumé

This paper is about the representations of distributed timed discrete event systems (DESs) with synchronisation events and minimal time constraints. A subclass of Timed Petri nets with specific time semantics is first recalled as a reference model for the considered systems. Such a model is reformulated according to modular tick automata with minimal times that behave like logical automata. A synchronous composition of such automata is then defined and the result of this composition is a new tick automaton that has the same timed language as the original Petri net, which is not the case for the earlier model of tick automata with constant (exact) times.
Fichier principal
Vignette du fichier
1-s2.0-S2405896323003798-main.pdf (785.45 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Licence : CC BY NC ND - Paternité - Pas d'utilisation commerciale - Pas de modification

Dates et versions

hal-04469030 , version 1 (04-03-2024)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

Citer

Jan Komenda, Dimitri Lefebvre. On tick automata for distributed timed DESs with synchronisations and minimal time constraints. IFAC-PapersOnLine, 2023, 56 (2), pp.8635-8640. ⟨10.1016/j.ifacol.2023.10.039⟩. ⟨hal-04469030⟩
11 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More