Logical time control of concurrent DES - Archive ouverte HAL
Journal Articles Discrete Event Dynamic Systems Year : 2021

Logical time control of concurrent DES

Jean-Luc Béchennec
STR
Laboratoire des Sciences du Numérique de Nantes
Didier Lime
Olivier H. Roux

Domains

Computer Science and Game Theory [cs.GT] Embedded Systems Formal Languages and Automata Theory [cs.FL]
Fichier principal
Vignette du fichier
mainJDEDS2020.pdf (392.97 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Jean-Luc Béchennec  : Connect in order to contact the contributor

https://hal.science/hal-03103458

Submitted on : Thursday, November 25, 2021-2:05:39 PM

Last modification on : Tuesday, August 27, 2024-12:53:38 PM

Long-term archiving on : Saturday, February 26, 2022-8:42:46 PM

Download

Dates and versions

hal-03103458 , version 1 (25-11-2021)

Identifiers

Cite

Jean-Luc Béchennec, Didier Lime, Olivier H. Roux. Logical time control of concurrent DES. Discrete Event Dynamic Systems, 2021, ⟨10.1007/s10626-020-00333-x⟩. ⟨hal-03103458⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES UNAM LS2N LS2N-STR NANTES-UNIVERSITE
85 View
51 Download

Altmetric

Share

More