François Vernadat

Available identifiers

zbMath Open vernadat.francois-bMaRDI QIDQ645044

List of research outcomes

Publication	Date of Publication	Type
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/Q4037125	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037376	1993-05-18	Paper
Efficient regular grammatical inference for pattern recognition	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: François Vernadat