Publikace
- On verification of nested workflows with extra constraints: From theory to practice2014 | Matematicko-fyzikální fakulta
- Verifying Nested Workflows with Extra Constraints2013 | Matematicko-fyzikální fakulta
- Automatická verifikace podmínek v zahnízděných pracovních postupech2012 | Matematicko-fyzikální fakulta
- FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners +12012 | Matematicko-fyzikální fakulta
- FlowOpt: A Set of Tools for Modeling, Optimizing, Analyzing, and Visualizing Production Workflows2011 | Matematicko-fyzikální fakulta
- Workflow Optimization with FlowOpt, On Modelling, Optimizing, Visualizing, and Analysing Production Workflows2011 | Matematicko-fyzikální fakulta
- FlowOptPublikace bez příslušnosti k fakultě
Loading network view...