An algebraic analysis of workflows

MaRDI QIDQ4898187zbMATH OpenFDO

Authors Glória Cravo

Publication date 29 December 2012

Mathematics Subject Classification ID

Small world graphs, complex networks (graph-theoretic aspects) (05C82) Deterministic network models in operations research (90B10) Production models (90B30)

Recommendations

• Applications of propositional logic to workflow analysis
• Diagnostic information for control-flow analysis of workflow graphs (a.k.a. free-choice workflow nets)
• Soundness of workflow nets: classification, decidability, and analysis
• Advances in quantitative analysis of free-choice workflow Petri nets (invited talk)
• scientific article; zbMATH DE number 843246

Cited in

(5)

• A mathematical modelling for workflows
• Using attribute grammars to model nested workflows with extra constraints
• COMPLETENESS AND REALIZABILITY: CONDITIONS FOR AUTOMATIC GENERATION OF WORKFLOWS
• Performance analysis of a class of workflow diagrams with queueing
• Applications of propositional logic to workflow analysis

This page was built for publication: An algebraic analysis of workflows

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