scientific article; zbMATH DE number 2204026

MaRDI QIDQ5315740zbMATH OpenFDO

Authors

Publication date 9 September 2005

Mathematics Subject Classification ID

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

Recommendations

• Using pre-estimate with feedback for adaptation Web server QoS guarantee
• scientific article; zbMATH DE number 2202204
• scientific article; zbMATH DE number 2115942
• Verification of workflow task structures: A Petri-net-based approach
• Verification of workflow nets

Cited in

(9)

• Verification of workflow task structures: A Petri-net-based approach
• Application of if-conversion to verification and optimization of workflows
• scientific article; zbMATH DE number 5304840 (Why is no real title available?)
• scientific article; zbMATH DE number 2115942 (Why is no real title available?)
• Using pre-estimate with feedback for adaptation Web server QoS guarantee
• scientific article; zbMATH DE number 2202204 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• A model validation method based on standardized workflow net
• Verification of workflow nets

This page was built for publication:

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