François Vernadat

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Covering step graph preserving failure semantics	2022-12-09	Paper
Covering step graph Application and Theory of Petri Nets 1996	2019-05-02	Paper
Time Petri nets with dynamic firing dates: semantics and applications Lecture Notes in Computer Science	2015-08-06	Paper
On the composition of time Petri nets Discrete Event Dynamic Systems	2011-11-08	Paper
Enterprise integration and interoperability Springer Handbook of Automation	2010-11-30	Paper
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets Lecture Notes in Computer Science	2008-07-08	Paper
Model Checking Bounded Prioritized Time Petri Nets Automated Technology for Verification and Analysis	2008-07-03	Paper
Balancing large-scale machining lines with multi-spindle heads using decomposition International Journal of Production Research	2008-05-06	Paper
Industrial performance measurement: an approach based on the aggregation of unipolar or bipolar expressions International Journal of Production Research	2008-05-06	Paper
Reachability problems and abstract state spaces for time Petri nets with stopwatches Discrete Event Dynamic Systems	2007-06-07	Paper
The tool TINA – Construction of abstract state spaces for petri nets and time petri nets International Journal of Production Research	2005-04-26	Paper
Information aggregation in industrial performance measurement: rationales, issues and definitions International Journal of Production Research	2005-04-26	Paper
scientific article; zbMATH DE number 1973993 (Why is no real title available?)	2003-09-03	Paper
scientific article; zbMATH DE number 1956600 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1686286 (Why is no real title available?)	2002-01-07	Paper
UEML: Towards a unified enterprise modelling language International Journal of Production Research	2002-01-01	Paper
scientific article; zbMATH DE number 177506 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177265 (Why is no real title available?)	1993-05-18	Paper
Efficient regular grammatical inference for pattern recognition Pattern Recognition	1984-01-01	Paper

Research outcomes over time

This page was built for person: François Vernadat