Jean-François Pétin

According to our database1, Jean-François Pétin authored at least 17 papers between 1998 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.



In proceedings 
PhD thesis 




Architecture assessment for safety critical plant operation using reachability analysis of timed automata.
Reliab. Eng. Syst. Saf., 2020

Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2017

Generation of safe operation sequences using iterative refinements and abstractions of timed automata.
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.
Proceedings of the International Conference on Control, 2016

Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

An integer coded genetic algorithm based on a replacement procedure for designing operational control architectures of critical systems.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Generation of safe plant operation sequences using reachability analysis.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Dynamic Rebalancing of an Assembly Line with a Reachability Analysis of Communicating Automata.
Proceedings of the Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World, 2014

Using a meta-model to build operational architectures of automation systems for critical processes.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Designing operational control architectures of critical systems by reachability analysis.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Generating VHDL Source Code from UML Models of Embedded Systems.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Reliability, Maintainability, and Safety.
Proceedings of the Springer Handbook of Automation, 2009

Estimating maximum and minimum delays for wireless discrete networked control systems.
Proceedings of the 2009 Wireless Telecommunications Symposium, 2009

Formal Specification Method for Systems Automation.
Eur. J. Control, 2006

Metamodelling of production systems process models using UML stereotypes.
Int. J. Internet Enterp. Manag., 2005

Setting up UML stereotypes for production systems modelling.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003

Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method.
Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998