Concepedia

Philippe Bon

PB

Statistics

Publications

4

Citations

64

H-Index

4

Active since

2006

Affiliations

Laboratoire d'Automatique, Génie Informatique et Signal(Current)

Philippe Bon is an author at Laboratoire d'Automatique, Génie Informatique et Signal specializing in reliability engineering, computer engineering, and engineering.

Top concepts

Publications per year

2006–2020

4

Publications

4

Safety requirements and p-time Petri nets: A Level Crossing case study

Simon Collart Dutilleul, François Defossez, Philippe Bon · 2006 · 20 citations

, , +24

From a Solution Model to a B Model for Verification of Safety Properties

Philippe Bon, Simon Collart-Dutilleul · HAL (Le Centre pour la Communication Scientifique Directe) · 2020 · 17 citations · Full text

, , +31

A model pattern of railway interlocking system by Petri nets

Pengfei Sun, Simon Collart-Dutilleul, Philippe Bon · 2015 · 15 citations

, , +23

Safety requirements and p-time Petri nets: A Level Crossing case study

Simon Collart Dutilleul, François Defossez, Philippe Bon · 2006 · 12 citations

, , +23

1–4 of 4