Woflan
From MaRDI portal
Cited in
(55)- EMiT
- WSAT
- Wendy
- CPN/Tools
- Metagraphs
- IntelliGEN
- Design/CPN
- WFPDL
- PNML
- XRL/Flower
- Protos
- YAWL
- ExSpect
- Design and control of workflow processes. Business process management for the service industry.
- Inheritance of interorganizational workflows to enable business-to-business E-commerce
- Business process management. International conference, BPM 2003, Eindhoven, The Netherlands, June 26--27, 2003. Proceedings.
- BPEL2PN
- BPEL2oWFN
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
- An analytical method for well-formed workflow/Petri net verification of classical soundness
- ade4TkGUI
- Formal verification of complex business processes based on high-level Petri nets
- VipTool
- ESP
- Yasper
- Diagnosing workflow processes using Woflan
- scientific article; zbMATH DE number 1696472 (Why is no real title available?)
- scientific article; zbMATH DE number 1708020 (Why is no real title available?)
- Enabling flexibility in process-aware information systems. Challenges, methods, technologies
- Reduction of workflow nets for generalised soundness verification
- Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
- scientific article; zbMATH DE number 2088651 (Why is no real title available?)
- scientific article; zbMATH DE number 2088769 (Why is no real title available?)
- Extending CTL with Actions and Real Time
- Model checking workflow net based on Petri net
- Soundness and separability of workflow nets in the stepwise refinement approach
- A Framework for Linking and Pricing No-Cure-No-Pay Services
- PIPE
- scientific article; zbMATH DE number 1948941 (Why is no real title available?)
- scientific article; zbMATH DE number 1980992 (Why is no real title available?)
- scientific article; zbMATH DE number 1755137 (Why is no real title available?)
- Refinement of synchronizable places with multi-workflow nets
- scientific article; zbMATH DE number 1446377 (Why is no real title available?)
- Inheritance of business processes: a journey visiting four notorious problems
- Modeling business processes. A Petri net-oriented approach
- Soundness of workflow nets: classification, decidability, and analysis
- Checking properties of adaptive workflow nets
- fmp
- Lectures on Concurrency and Petri Nets
- Applications and Theory of Petri Nets 2004
- Applications and Theory of Petri Nets 2004
- Inheritance of workflows: An approach to tackling problems related to change
- Connectivity of workflow nets: The foundations of stepwise verification
- Preserving correctness during business process model configuration
- Formal semantics and analysis of control flow in WS-BPEL
This page was built for software: Woflan
