Soundness of workflow nets: classification, decidability, and analysis
From MaRDI portal
Recommendations
- Structural soundness of workflow nets is decidable
- Applications and Theory of Petri Nets 2004
- Complexity of the soundness problem of workflow nets
- Verifying generalized soundness of workflow nets
- Applications and Theory of Petri Nets 2005
- Soundness and separability of workflow nets in the stepwise refinement approach
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
- Complexity of the soundness problem of bounded workflow nets
- An analytical method for well-formed workflow/Petri net verification of classical soundness
Cites work
- scientific article; zbMATH DE number 1708021 (Why is no real title available?)
- scientific article; zbMATH DE number 2088769 (Why is no real title available?)
- scientific article; zbMATH DE number 1223710 (Why is no real title available?)
- scientific article; zbMATH DE number 1302047 (Why is no real title available?)
- scientific article; zbMATH DE number 1341758 (Why is no real title available?)
- scientific article; zbMATH DE number 1049168 (Why is no real title available?)
- scientific article; zbMATH DE number 827979 (Why is no real title available?)
- scientific article; zbMATH DE number 1405652 (Why is no real title available?)
- scientific article; zbMATH DE number 1416643 (Why is no real title available?)
- A Look Around the Corner: The Pi-Calculus
- Applications and Theory of Petri Nets 2004
- Applications and Theory of Petri Nets 2005
- Applications and Theory of Petri Nets 2005
- Branching time and abstraction in bisimulation semantics
- Diagnosing workflow processes using Woflan
- Free Choice Petri Nets
- Fundamental Approaches to Software Engineering
- Liveness, fairness, and recurrence in Petri nets
- Petri net-based modelling of workflow systems: An overview
- Property Specifications for Workflow Modelling
- Reachability in live and safe free-choice Petri nets is NP-complete
- Reduction rules for reset/inhibitor nets
- Soundness and separability of workflow nets in the stepwise refinement approach
- Soundness of workflow nets with reset ARCS
- Soundness-preserving reduction rules for reset workflow nets
- Well-structured transition systems everywhere!
Cited in
(60)- The complexity of soundness in workflow nets
- Verification of workflow nets
- On Determining the AND-OR Hierarchy in Workflow Nets
- Free-choice Nets with Home Clusters are Lucent
- Optimal directed hypergraph traversal with ant-colony optimisation
- PSPACE-completeness of the soundness problem of safe asymmetric-choice workflow nets
- scientific article; zbMATH DE number 7447773 (Why is no real title available?)
- Soundness of timed-arc workflow nets
- Discovery, Verification and Conformance of Workflows with Cancellation
- Checking properties of adaptive workflow nets
- Complexity of the soundness problem of workflow nets
- Polynomial analysis algorithms for free choice probabilistic workflow nets
- Confusion analysis and detection for workflow nets
- scientific article; zbMATH DE number 2088769 (Why is no real title available?)
- Applications and Theory of Petri Nets 2004
- Applications and Theory of Petri Nets 2005
- WRI WF-net: verification and implementation
- Connectivity of workflow nets: The foundations of stepwise verification
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
- Structural soundness of workflow nets is decidable
- Reduction of workflow nets for generalised soundness verification
- Soundness of workflow nets with reset ARCS
- Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data
- Healthcare operation improvement based on simulation of cooperative resource preservation nets for none-consumable resources
- Diagnostic information for control-flow analysis of workflow graphs (a.k.a. free-choice workflow nets)
- An algebraic analysis of workflows
- Sufficient conditions for the marked graph realisability of labelled transition systems
- Data centric workflows for crowdsourcing
- A mathematical modelling for workflows
- On generating hierarchical workflow nets and their extensions and verifying hierarchicality
- Can I find a partner? Undecidability of partner existence for open nets
- Soundness in negotiations
- Fast termination and workflow nets
- There and back again. On the reconstructability and rediscoverability of typed Jackson nets
- Soundness of timed-arc workflow nets in discrete and continuous-time semantics
- An analytical method for well-formed workflow/Petri net verification of classical soundness
- Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems
- Verifying generalized soundness of workflow nets
- Causal nets: a modeling language tailored towards process discovery
- Soundness and separability of workflow nets in the stepwise refinement approach
- Safety and Soundness for Priced Resource-Constrained Workflow Nets
- Model checking Petri nets with names using data-centric dynamic systems
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
- Applications of propositional logic to workflow analysis
- Boundedness of adaptive nets is decidable
- Discovering object-centric Petri nets
- Aggregating causal runs into workflow nets
- Model checking workflow net based on Petri net
- Partial order reduction for checking soundness of time workflow nets
- On soundness for time workflow nets
- Associative composition of components with double-sided interfaces
- Soundness verification of data-aware process models with variable-to-variable conditions
- Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets
- Interacting workflow nets for workflow process re-engineering
- Discovering workflow nets using integer linear programming
- Applications and Theory of Petri Nets 2005
- Complexity of the soundness problem of bounded workflow nets
- Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations
- Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait
This page was built for publication: Soundness of workflow nets: classification, decidability, and analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q539433)
