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