Jean-François Pétin

According to our database, Jean-François Pétin authored at least 20 papers between 1998 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Usage profile in physical systems modelized with stochastic hybrid automata.

Gaël Hequet, Nicolae Brinzei, Jean-François Pétin

Proceedings of the International Conference on Information and Digital Technologies, 2021

2020

Architecture assessment for safety critical plant operation using reachability analysis of timed automata.

David Gouyon, Jean-François Pétin, Thomas Cochard, Catherine Devic

Reliab. Eng. Syst. Saf., 2020

Control Sequence Ranking for Critical System Based on Health of Equipment Thanks to Choquet Integral.

Mohammed-Farouk Bouaziz, Pascale Marange, Alexandre Voisin, Jean-François Pétin

Frontiers Artif. Intell., 2020

2017

Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule.

Sara Himmiche, Alexis Aubry, Pascale Marangé, Marie Duflot, Jean-François Pétin

Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2017

Reliability modelling and assessment by joint consideration of Petri nets and gamma deterioration processes.

Grâce Boyer, Nicolae Brinzei, Phuc Do, Jean-François Pétin

Proceedings of the 2nd International Conference on System Reliability and Safety, 2017

2016

Generation of safe operation sequences using iterative refinements and abstractions of timed automata.

Thomas Cochard, David Gouyon, Jean-François Pétin

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Performance assessment of industrial control system during pre-sales uncertain context using automatic Colored Petri Nets model generation.

Moulaye A. A. Ndiaye, Jean-François Pétin, Jacques Camerini, Jean-Philippe Georges

Proceedings of the International Conference on Control, 2016

Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures.

Moulaye Ndiaye, Jean-François Pétin, Jean-Philippe Georges, Jacques Camerini

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015

An integer coded genetic algorithm based on a replacement procedure for designing operational control architectures of critical systems.

Imed Nasri, Jean-François Pétin, Frederique Bicking Simon

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Generation of safe plant operation sequences using reachability analysis.

Thomas Cochard, David Gouyon, Jean-François Pétin

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Dynamic Rebalancing of an Assembly Line with a Reachability Analysis of Communicating Automata.

Antoine Manceaux, Bril El-Haouzi Hind, André Thomas, Jean-François Pétin

Proceedings of the Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World, 2014

2011

Using a meta-model to build operational architectures of automation systems for critical processes.

Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Patrick Salaün, Jean-François Pétin

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Designing operational control architectures of critical systems by reachability analysis.

Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Generating VHDL Source Code from UML Models of Embedded Systems.

Tomás G. Moreira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Jean-François Pétin, Eric Levrat

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009

Reliability, Maintainability, and Safety.

Gérard Morel, Jean-François Pétin, Timothy L. Johnson

Proceedings of the Springer Handbook of Automation, 2009

Estimating maximum and minimum delays for wireless discrete networked control systems.

Gilbert Habib, Thierry Divoux, Jean-François Pétin

Proceedings of the 2009 Wireless Telecommunications Symposium, 2009

2006

Formal Specification Method for Systems Automation.

Jean-François Pétin, Gérard Morel, Hervé Panetto

Eur. J. Control, 2006

2005

Metamodelling of production systems process models using UML stereotypes.

Hervé Panetto, Jean-François Pétin

Int. J. Internet Enterp. Manag., 2005

2003

Setting up UML stereotypes for production systems modelling.

Hervé Panetto, Jean-François Pétin

Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003

1998

Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method.

Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998