Vladimír Rovenský

  • Citations Per Year
Learn More
Workflows are used to formally describe processes of various types such as business and manufacturing processes. One of the critical tasks of workflow management is automated discovery of possible flaws in the workflow – workflow verification. In this paper, we formalize the problem of workflow verification as the problem of verifying that there exists a(More)
FlowOpt is demonstration software showing how advanced optimization technology can be put at the fingertips of practitioners, who are not experienced in optimization. FlowOpt is a unique combination of optimization technology based on constraint satisfaction techniques with knowledge engineering aspects of extracting formal problem models and with(More)
Workflow optimization is an important aspect of many problems including project management and manufacturing. In this paper we describe an innovative general tool supporting a complete workflow optimization process in small and medium manufacturing enterprises. The tool supports interactive modeling of workflows with nested structure and additional logical(More)
FlowOpt is a collection of modules built on top of enterprise performance optimization system MAK€ with the goal to bring unique modeling, optimizing, and visualizing capabilities for production workflows. FlowOpt is based on the concept of nested temporal network with alternatives used to formally describe alternative processes in workflows. The system(More)
This thesis tries to formulate a knowledge-based algorithm for meaningful sentence classification. This is a very interesting task for the applications of natural language processing, such as the web search engines. “To-be-meaningful” is a feature that cannot be defined in an absolute way we try to respect the natural language description layer system. In(More)
FlowOpt is a collection of modules built on top of enterprise performance optimization system MAK€ with the goal to bring unique modeling, optimizing, and visualizing capabilities for production workflows. FlowOpt is based on the concept of nested temporal network with alternatives used to formally describe alternative processes in workflows. The system(More)
  • 1