Jean-François Pétin
According to our database1,
Jean-François Pétin
authored at least 19 papers
between 1998 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2021
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.
Reliab. Eng. Syst. Saf., 2020
2017
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
Reliability modelling and assessment by joint consideration of Petri nets and gamma deterioration processes.
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.
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
2015
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
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.
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.
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
2010
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
2009
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
2006
2005
Int. J. Internet Enterp. Manag., 2005
2003
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
1998
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