An algorithm of automatic workflow optimization

DOI10.1134/S0361768812010045MaRDI QIDQ1758697zbMATH OpenFDO

Authors A. A. Kalenkova

Publication date 16 November 2012

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

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)

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)

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

Describes a project that uses

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)