swMATH7028MaRDI QIDQ19089FDOQ19089
Author name not available (Why is that?)
Official website: http://www.win.tue.nl/woflan/doku.php
Cited In (47)
- 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.
- Refinement of synchronizable places with multi-workflow nets
- 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
- Reduction of workflow nets for generalised soundness verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inheritance of interorganizational workflows to enable business-to-business E-commerce
- Soundness and separability of workflow nets in the stepwise refinement approach
- Title not available (Why is that?)
- An analytical method for well-formed workflow/Petri net verification of classical soundness
- Soundness of workflow nets: classification, decidability, and analysis
- Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
- EMiT
- Title not available (Why is that?)
- ExSpect
- Protos
- XRL/Flower
- YAWL
- BPEL2PN
- BPEL2oWFN
- ade4TkGUI
- VipTool
- ESP
- Yasper
- PIPE
- Extending CTL with Actions and Real Time
- Enabling flexibility in process-aware information systems. Challenges, methods, technologies
- Checking properties of adaptive workflow nets
- 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
- fmp
- Modeling business processes. A Petri net-oriented approach
- Inheritance of business processes: a journey visiting four notorious problems
- Formal semantics and analysis of control flow in WS-BPEL
This page was built for software: Woflan
