Reduction of workflow nets for generalised soundness verification

DOI10.1007/978-3-319-52234-0_6MaRDI QIDQ2961558zbMATH OpenOpenAlexFDO

Authors Hadrien Bride, Fabien Peureux, Olga Kouchnarenko

Publication date 21 February 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-52234-0_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Verifying generalized soundness of workflow nets
• Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
• Partial order reduction for checking soundness of time workflow nets
• Using pre-estimate with feedback for adaptation Web server QoS guarantee
• Soundness-preserving reduction rules for reset workflow nets

Cites work

• A method for stepwise refinement and abstraction of Petri nets
• Applications and Theory of Petri Nets 2004
• Diagnosing workflow processes using Woflan
• Free Choice Petri Nets
• Fundamentals of control flow in workflows
• scientific article; zbMATH DE number 1696472 (Why is no real title available?)
• scientific article; zbMATH DE number 4033100 (Why is no real title available?)
• scientific article; zbMATH DE number 2006480 (Why is no real title available?)
• Reduction rules for time Petri nets
• Soundness of workflow nets: classification, decidability, and analysis
• Soundness-preserving reduction rules for reset workflow nets
• The Petri net markup language
• Verifying generalized soundness of workflow nets

Cited in

(10)

• Soundness-preserving reduction rules for reset workflow nets
• An analytical method for well-formed workflow/Petri net verification of classical soundness
• Formal verification of temporal properties for reduced overhead in grid scientific workflows
• Verifying generalized soundness of workflow nets
• Partial order reduction for checking soundness of time workflow nets
• Using pre-estimate with feedback for adaptation Web server QoS guarantee
• Applications and Theory of Petri Nets 2004
• Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
• Fast termination and workflow nets
• Connectivity of workflow nets: The foundations of stepwise verification

Describes a project that uses

Uses Software

• VipTool
• Yasper
• PIPE
• PNML
• SPIN
• Woflan

This page was built for publication: Reduction of workflow nets for generalised soundness verification

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