Woflan
From MaRDI portal
Software:19089
No author found.
Related Items (34)
Business process management. International conference, BPM 2003, Eindhoven, The Netherlands, June 26--27, 2003. Proceedings. ⋮ Model checking workflow net based on Petri net ⋮ Enabling Flexibility in Process-Aware Information Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Refinement of Synchronizable Places with Multi-workflow Nets ⋮ Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions ⋮ Reduction of Workflow Nets for Generalised Soundness Verification ⋮ Inheritance of Business Processes: A Journey Visiting Four Notorious Problems ⋮ Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach ⋮ Lectures on Concurrency and Petri Nets ⋮ Applications and Theory of Petri Nets 2004 ⋮ Applications and Theory of Petri Nets 2004 ⋮ Refinement of Synchronizable Places with Multi-workflow Nets ⋮ Unnamed Item ⋮ Soundness of workflow nets: classification, decidability, and analysis ⋮ Diagnosing Workflow Processes using Woflan ⋮ Preserving correctness during business process model configuration ⋮ An analytical method for well-formed workflow/Petri net verification of classical soundness ⋮ Inheritance of workflows: An approach to tackling problems related to change ⋮ Formal semantics and analysis of control flow in WS-BPEL ⋮ Formal verification of complex business processes based on high-level Petri nets ⋮ A Framework for Linking and Pricing No-Cure-No-Pay Services ⋮ Design and control of workflow processes. Business process management for the service industry. ⋮ Connectivity of workflow nets: The foundations of stepwise verification ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Inheritance of interorganizational workflows to enable business-to-business E-commerce ⋮ Extending CTL with Actions and Real Time
This page was built for software: Woflan
