An algorithm of automatic workflow optimization

DOI10.1134/S0361768812010045zbMATH Open1251.68238MaRDI QIDQ1758697FDOQ1758697

Authors: A. A. Kalenkova 

Publication date: 16 November 2012

Published in: Programming and Computer Software (Search for Journal in Brave)

Recommendations

• Application of if-conversion to verification and optimization of workflows
• scientific article; zbMATH DE number 2088769
• scientific article; zbMATH DE number 2080406
• Enriched workflow modelling and stochastic branch-and-bound
• Advances in quantitative analysis of free-choice workflow Petri nets (invited talk)

zbMATH Keywords

computational complexityautomatic workflow optimizationBoolean verification algorithm

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Application of if-conversion to verification and optimization of workflows
• Inheritance of interorganizational workflows to enable business-to-business E-commerce

Cited In (1)

• Application of if-conversion to verification and optimization of workflows

Uses Software

• PGWFT
• TAO

This page was built for publication: An algorithm of automatic workflow optimization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1758697)