default search action
Jean-François Pétin
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c15]Gaël Hequet, Nicolae Brinzei, Jean-François Pétin:
Usage profile in physical systems modelized with stochastic hybrid automata. IDT 2021: 220-229 - 2020
- [j4]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) - [j3]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: 106923 (2020)
2010 – 2019
- 2017
- [c14]Grâce Boyer, Nicolae Brinzei, Phuc Do
Reliability modelling and assessment by joint consideration of Petri nets and gamma deterioration processes. ICSRS 2017: 57-61 - [c13]Sara Himmiche
Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule. SOHOMA 2017: 345-357 - 2016
- [c12]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: 113-131 - [c11]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: 671-676 - [c10]Thomas Cochard, David Gouyon, Jean-François Pétin:
Generation of safe operation sequences using iterative refinements and abstractions of timed automata. ETFA 2016: 1-8 - 2015
- [c9]Thomas Cochard, David Gouyon, Jean-François Pétin:
Generation of safe plant operation sequences using reachability analysis. ETFA 2015: 1-8 - [c8]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: 1-6 - 2014
- [c7]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: 597-604 - 2011
- [c6]Thibault Lemattre, Bruno Denis
Designing operational control architectures of critical systems by reachability analysis. CASE 2011: 12-18 - [c5]Thibault Lemattre, Bruno Denis
Using a meta-model to build operational architectures of automation systems for critical processes. ETFA 2011: 1-8 - 2010
- [c4]Tomás G. Moreira, Marco A. Wehrmeister
Generating VHDL Source Code from UML Models of Embedded Systems. DIPES/BICC 2010: 125-136
2000 – 2009
- 2009
- [c3]Gilbert Habib, Thierry Divoux, Jean-François Pétin:
Estimating maximum and minimum delays for wireless discrete networked control systems. WTS 2009: 1-5 - [p1]Gérard Morel, Jean-François Pétin, Timothy L. Johnson:
Reliability, Maintainability, and Safety. Handbook of Automation 2009: 735-747 - 2006
- [j2]Jean-François Pétin, Gérard Morel, Hervé Panetto
Formal Specification Method for Systems Automation. Eur. J. Control 12(2): 115-130 (2006) - 2005
- [j1]Hervé Panetto, Jean-François Pétin:
Metamodelling of production systems process models using UML stereotypes. Int. J. Internet Enterp. Manag. 3(2): 155-169 (2005) - 2003
- [c2]Hervé Panetto, Jean-François Pétin:
Setting up UML stereotypes for production systems modelling. CE 2003: 747-754
1990 – 1999
- 1998
- [c1]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: 198-209
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: