Jean-François Pétin

20 papers C 5Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2021 — conf
Usage profile in physical systems modelized with stochastic hybrid automata.
IDT
Gaël Hequet, Nicolae Brinzei, Jean-François Pétin
2020 J jnl
Architecture assessment for safety critical plant operation using reachability analysis of timed automata.
Reliab. Eng. Syst. Saf.
David Gouyon, Jean-François Pétin, Thomas Cochard, Catherine Devic
2020 J jnl
Control Sequence Ranking for Critical System Based on Health of Equipment Thanks to Choquet Integral.
Frontiers Artif. Intell.
Mohammed-Farouk Bouaziz, Pascale Marange, Alexandre Voisin, Jean-François Pétin
2017 — conf
Reliability modelling and assessment by joint consideration of Petri nets and gamma deterioration processes.
ICSRS
Grâce Boyer, Nicolae Brinzei, Phuc Do, Jean-François Pétin
2017 — conf
Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule.
SOHOMA
Sara Himmiche, Alexis Aubry, Pascale Marangé, Marie Duflot, Jean-François Pétin
2016 C conf
Generation of safe operation sequences using iterative refinements and abstractions of timed automata.
ETFA
Thomas Cochard, David Gouyon, Jean-François Pétin
2016 C conf
Performance assessment of industrial control system during pre-sales uncertain context using automatic Colored Petri Nets model generation.
CoDIT
Moulaye A. A. Ndiaye, Jean-François Pétin, Jacques Camerini, Jean-Philippe Georges
2016 — conf
Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures.
PNSE @ Petri Nets
Moulaye Ndiaye, Jean-François Pétin, Jean-Philippe Georges, Jacques Camerini
2015 C conf
An integer coded genetic algorithm based on a replacement procedure for designing operational control architectures of critical systems.
ETFA
Imed Nasri, Jean-François Pétin, Frederique Bicking Simon
2015 C conf
Generation of safe plant operation sequences using reachability analysis.
ETFA
Thomas Cochard, David Gouyon, Jean-François Pétin
2014 — conf
Dynamic Rebalancing of an Assembly Line with a Reachability Analysis of Communicating Automata.
APMS (1)
Antoine Manceaux, Bril El-Haouzi Hind, André Thomas, Jean-François Pétin
2011 — conf
Designing operational control architectures of critical systems by reachability analysis.
CASE
Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün
2011 C conf
Using a meta-model to build operational architectures of automation systems for critical processes.
ETFA
Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Patrick Salaün, Jean-François Pétin
2010 — conf
Generating VHDL Source Code from UML Models of Embedded Systems.
DIPES/BICC
Tomás G. Moreira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Jean-François Pétin, Eric Levrat
2009 — conf
Estimating maximum and minimum delays for wireless discrete networked control systems.
WTS
Gilbert Habib, Thierry Divoux, Jean-François Pétin
2009 — ch.
Reliability, Maintainability, and Safety.
Handbook of Automation
Gérard Morel, Jean-François Pétin, Timothy L. Johnson
2006 J jnl
Formal Specification Method for Systems Automation.
Eur. J. Control
Jean-François Pétin, Gérard Morel, Hervé Panetto
2005 J jnl
Metamodelling of production systems process models using UML stereotypes.
Int. J. Internet Enterp. Manag.
Hervé Panetto, Jean-François Pétin
2003 — conf
Setting up UML stereotypes for production systems modelling.
CE
Hervé Panetto, Jean-François Pétin
1998 — conf
Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method.
B
Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley