Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

16 résultats
Page :
triés par

Pomset bisimulation and unfolding for reset Petri nets

 Thomas Chatain , Maurice Comlan , David Delfieu , Loïg Jezequel , Olivier Henri Roux
Information and Computation, 2022, 283, pp.104674. ⟨10.1016/j.ic.2020.104674⟩
Article dans une revue hal-03650582v1

Temporal reduction in Time Petri net

 Medesu Sogbohossou , David Delfieu
2008, IDT 2008
Ouvrages hal-01112529v1
Image document

Conflict Equivalence of Branching Processes

 David Delfieu , Maurice Comlan , Medesu Sogbohossou
International Journal On Advances in Systems and Measurements, 2015, 8 (1&2), pp.85-203
Article dans une revue hal-01111155v1

Penelope

 David Delfieu , Maurice Comlan
2013
Autre publication scientifique hal-01112525v1
Image document

Petri Nets to Arduino (PN2A) Embedding Time Petri Nets into a Microcontroller Architecture

 David Delfieu , Maurice Comlan
SCEE, 2019, 1 (2), pp.12-25
Article dans une revue hal-02454089v1

Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés

 Louis-Marie Traonouez , David Delfieu , Olivier Henri Roux
6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, France
Communication dans un congrès hal-01112533v1
Image document

Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs

 David Delfieu
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 1995. Français. ⟨NNT : ⟩
Thèse tel-00142512v1
Image document

Embedding Time Petri nets

 Maurice Comlan , David Delfieu , Médésu Sogbohossou , Antoine Vianou
(IEEE) 4th-2017 International Conference on Control, Decision and Information Technologies, Apr 2017, Barcelone, Spain
Communication dans un congrès hal-01542101v1
Image document

Processus de branchement des réseaux de Petri à reset arcs

 Maurice Comlan , David Delfieu , Médésu Sogbohossou
GPL GDR, CNRS, Jun 2015, Bordeaux, France
Communication dans un congrès hal-01169369v1
Image document

An algebra for branching processes

 David Delfieu , Médésu Sogbohossou
Control, Decision and Information Technologies (CoDIT), 2013 International Conference on, 2013, pp.625 - 634. ⟨10.1109/CoDIT.2013.6689616⟩
Article dans une revue hal-01111131v1
Image document

Pomsets and Unfolding of Reset Petri Nets

 Loïg Jezequel , Thomas Chatain , Maurice Comlan , David Delfieu , Olivier Henri Roux
LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, Apr 2018, Ramat Gan, Israel
Communication dans un congrès hal-01766530v1
Image document

Algebraic Analysis of Branching Processes

 David Delfieu , Maurice Comlan , Médésu Sogbohossou
VALID'14, Oct 2014, Nice, France. pp.21-27
Communication dans un congrès hal-01111142v2

LLbox

 Medesu Sogbohossou , David Delfieu
2007
Autre publication scientifique hal-01112538v1
Image document

Unfolding of time Petri nets for quantitative time analysis

 David Delfieu , Medesu Sogbohossou
International Workshop pn Timing and Stochasticity in Petri nets and pther models of concurrency, Jun 2009, Paris, France. pp.31-45
Communication dans un congrès hal-00631054v1

Parameterized study of a Time Petri Net

 David Delfieu , Medesu Sogbohossou
2007
Autre publication scientifique hal-01112535v1
Image document

Grafcet to Arduino: Edit and Upload Grafcets on an Arduino Boards

 Maurice Comlan , David Delfieu , Narcisse Assogba
The International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), Oct 2021, Mauritius, Mauritius. ⟨10.1109/ICECCME52200.2021.9590933⟩
Communication dans un congrès hal-03562309v2
Page :