The following pages link to Bernard Berthomieu (Q645043):
Displaying 14 items.
- On the composition of time Petri nets (Q645045) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166) (← links)
- Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus (Q2798022) (← links)
- Model Checking Bounded Prioritized Time Petri Nets (Q3510821) (← links)
- Bridging the Gap Between Timed Automata and Bounded Time Petri Nets (Q3511224) (← links)
- (Q4417948) (← links)
- (Q4422090) (← links)
- An Experiment on Parallel Model Checking of a CTL Fragment (Q4649304) (← links)
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets (Q4671274) (← links)
- A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking (Q5044397) (← links)
- Time Petri Nets with Dynamic Firing Dates: Semantics and Applications (Q5500556) (← links)
- Petri Net Reductions for Counting Markings (Q5883572) (← links)
- Sleptsov nets are Turing-complete (Q6138839) (← links)