Filtrer vos résultats
- 7
- 6
- 1
- 7
- 1
- 2
- 1
- 2
- 2
- 5
- 2
- 7
- 7
- 4
- 4
- 3
- 2
- 2
7 résultats
|
|
triés par
|
|
The tool TWINA construction d'espaces d'états abstrait pour l'intersection de Time Petri nets12ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2019), Nov 2019, Angers, France
Communication dans un congrès
hal-02432695v1
|
||
|
A Short Overview on Diagnosability of Patterns in Timed Petri Net14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Jun 2020, (on line), France
Communication dans un congrès
hal-02899522v1
|
||
|
Diagnosability and Predictability of pattern in Labelled Petri Nets33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France
Communication dans un congrès
hal-03773804v1
|
||
|
A New Product Construction for the Diagnosability of Patterns in Time Petri Net59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩
Communication dans un congrès
hal-02989834v1
|
||
|
Synchronous Product of Time Petri Nets and its Applications to Fault-DiagnosisEmbedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩
Thèse
tel-03528121v2
|
||
|
Critical pairs based diagnosability analysis of timed fault in Time Petri Nets16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic
Communication dans un congrès
hal-03765924v1
|
||
|
A State Class Construction for Computing the Intersection of Time Petri Nets Languages17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩
Communication dans un congrès
hal-02263832v1
|