Jean-François Pétin

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 7

Top Topics

Physical Systems

Reachability Analysis

Coloured Petri Nets

Top Venues

PNSE @ Petri Nets

Frontiers Artif. Intell.

Publications

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