YAWL

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