On verification of nested workflows with extra constraints: From theory to practice-Reference-Cited by-同舟云学术

On verification of nested workflows with extra constraints: From theory to practice

Author:

Barták Roman,Rovenský Vladimír

Publisher

Elsevier BV

Subject

Artificial Intelligence,Computer Science Applications,General Engineering

Reference19 articles.

1. Automatic control of workflow processes using ECA rules;Bae;IEEE Transactions on Knowledge and Data Engineering,2004

2. On complexity of verifying nested workflows with extra constraints;Barták,2012

3. Temporal networks with alternatives: complexity and model;Barták,2007

4. Nested temporal networks with alternatives: recognition, tractability, and models;Barták,2008

5. Workflow optimization with flowopt, on modelling, optimizing, visualizing, and analysing production workflows;Barták,2011

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interactive Visualization in Planning and Scheduling;Knowledge Engineering Tools and Techniques for AI Planning;2020

5. Configurable Domain Objects for Resource Modelling in Treatment Scheduling;International Journal of Software Engineering and Knowledge Engineering;2015-06