WRI WF-net: verification and implementation

MaRDI QIDQ5293598zbMATH OpenFDO

Authors

Publication date 2 July 2007

zbMATH Keywords

Petri networkflow model

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model checking workflow net based on Petri net
• Soundness of workflow nets: classification, decidability, and analysis
• scientific article; zbMATH DE number 2115942
• Checking properties of adaptive workflow nets
• An analytical method for well-formed workflow/Petri net verification of classical soundness

Cited in

(5)

• scientific article; zbMATH DE number 6905198 (Why is no real title available?)
• On generating hierarchical workflow nets and their extensions and verifying hierarchicality
• Model checking workflow net based on Petri net
• Checking properties of adaptive workflow nets
• A model validation method based on standardized workflow net

This page was built for publication: WRI WF-net: verification and implementation

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