Woflan

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