Woflan

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