François Vernadat

Available identifiers

Publication	Date of Publication	Type
Covering step graph preserving failure semantics	2022-12-09	Paper
Covering step graph	2019-05-02	Paper
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications	2015-08-06	Paper
On the composition of time Petri nets	2011-11-08	Paper
Enterprise Integration and Interoperability	2010-11-30	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
Balancing large-scale machining lines with multi-spindle heads using decomposition	2008-05-06	Paper
Industrial performance measurement: an approach based on the aggregation of unipolar or bipolar expressions	2008-05-06	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
Information aggregation in industrial performance measurement: rationales, issues and definitions	2005-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4422090	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4417948	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2761741	2002-01-07	Paper
UEML: Towards a unified enterprise modelling language	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4037376	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037125	1993-05-18	Paper
Efficient regular grammatical inference for pattern recognition	1984-01-01	Paper

This page was built for person: François Vernadat