YAWL
From MaRDI portal
swMATH4388MaRDI QIDQ16564FDOQ16564
Author name not available (Why is that?)
Official website: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/yawl.html
Cited In (40)
- Formal methods to improve public administration business processes
- Lectures on Concurrency and Petri Nets
- A data-centric approach to manage business processes
- Applications and Theory of Petri Nets 2005
- A formal semantics for the Taverna 2 workflow model
- Formal verification of complex business processes based on high-level Petri nets
- The reference ontology of collective behavior of autonomous agents and its extensions
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
- A system for deduction-based formal verification of workflow-oriented software models
- A Language for Task Orchestration and Its Semantic Properties
- From StPowla processes to SRML models
- Towards continuous workflow enactment systems
- The riverfish approach to business process modeling: linking business steps to control-flow patterns
- Soundness of workflow nets: classification, decidability, and analysis
- Soundness-preserving reduction rules for reset workflow nets
- ExSpect
- Protos
- XRL/Flower
- ProM
- BPEL2PN
- Woflan
- Proclets
- Taverna
- Gridbus
- SWORD
- Sonar
- WebSphere
- Adaptive collaboration in an ever-changing environment
- VERIFAS
- A simplified framework for stochastic workflow networks
- Process-centric views of data-driven business artifacts
- fmp
- Flexibility in Process-Aware Information Systems
- Coordination: Reo, Nets, and Logic
- Web services composition: complexity and models
- Fundamental Approaches to Software Engineering
- A Non-Deterministic Multiset Query Language
- The imprecisions of precision measures in process mining
- Process model discovery: a method based on transition system decomposition
- Formal semantics and analysis of control flow in WS-BPEL
This page was built for software: YAWL