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