Verifying nested workflows with extra constraints
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
On verification of nested workflows with extra constraints: From theory to practice
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
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 and synchronization constraints. Then the tool automatically schedules workflows to available resources while optimizing on-time-in-full performance (just in time scheduling). Obtained schedules are visualized in the form of Gantt charts where the user can arbitrarily modify the schedule. Finally, the schedules can be analyzed and the tool suggests how to modify the enterprise, for example by buying new resources, to obtain better quality schedules. By supporting workflows with alternative processes the tool realizes integrated planning and scheduling.