Login / Signup
Éric Lubat
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 4
Top Topics
Discrete Event Systems
High Level Petri Nets
Ims Ld
Service Composition
Top Venues
CoRR
CDC
MoDELS (Companion)
FORMATS
</>
Publications
</>
Éric Lubat
,
Eric Jenn
,
Dominique Blouin
,
Marc Kaufmann
Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications.
MoDELS (Companion)
(2023)
Éric Lubat
,
Silvano Dal-Zilio
,
Didier Le Botlan
,
Yannick Pencolé
,
Audine Subias
A New Product Construction for the Diagnosability of Patterns in Time Petri Net.
CDC
(2020)
Yannick Pencolé
,
Éric Lubat
,
Silvano Dal-Zilio
,
Didier Le Botlan
,
Audine Subias
A State Class Construction for Computing the Intersection of Time Petri Nets Languages.
CoRR
(2019)
Éric Lubat
,
Silvano Dal-Zilio
,
Didier Le Botlan
,
Yannick Pencolé
,
Audine Subias
A State Class Construction for Computing the Intersection of Time Petri Nets Languages.
FORMATS
(2019)