The following pages link to François Vernadat (Q645044):
Displayed 19 items.
- On the composition of time Petri nets (Q645045) (← links)
- (Q786554) (redirect page) (← links)
- Efficient regular grammatical inference for pattern recognition (Q786555) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- (Q2761741) (← links)
- Enterprise Integration and Interoperability (Q3059994) (← links)
- Model Checking Bounded Prioritized Time Petri Nets (Q3510821) (← links)
- Bridging the Gap Between Timed Automata and Bounded Time Petri Nets (Q3511224) (← links)
- (Q4037125) (← links)
- (Q4037376) (← links)
- (Q4417948) (← links)
- (Q4422090) (← links)
- Covering step graph (Q4633181) (← links)
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets (Q4671274) (← links)
- Information aggregation in industrial performance measurement: rationales, issues and definitions (Q4671321) (← links)
- UEML: Towards a unified enterprise modelling language (Q4706328) (← links)
- Balancing large-scale machining lines with multi-spindle heads using decomposition (Q5385387) (← links)
- Industrial performance measurement: an approach based on the aggregation of unipolar or bipolar expressions (Q5385390) (← links)
- Time Petri Nets with Dynamic Firing Dates: Semantics and Applications (Q5500556) (← links)