Bernard Berthomieu

Available identifiers

zbMath Open berthomieu.bernardMaRDI QIDQ645043

List of research outcomes

Publication	Date of Publication	Type
Sleptsov nets are Turing-complete	2024-01-16	Paper
Petri Net Reductions for Counting Markings	2023-03-21	Paper
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking	2022-10-31	Paper
On the combination of polyhedral abstraction and SMT-based model checking for Petri nets	2022-03-21	Paper
Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus	2016-04-01	Paper
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications	2015-08-06	Paper
An Experiment on Parallel Model Checking of a CTL Fragment	2012-11-21	Paper
On the composition of time Petri nets	2011-11-08	Paper
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets	2008-07-08	Paper
Model Checking Bounded Prioritized Time Petri Nets	2008-07-03	Paper
Reachability problems and abstract state spaces for time Petri nets with stopwatches	2007-06-07	Paper
The tool TINA – Construction of abstract state spaces for petri nets and time petri nets	2005-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4422090	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4417948	2003-07-30	Paper

Research outcomes over time

This page was built for person: Bernard Berthomieu