YAWL
From MaRDI portal
Software:16564
No author found.
Related Items (26)
A data-centric approach to manage business processes ⋮ Formal Methods to Improve Public Administration Business Processes ⋮ A simplified framework for stochastic workflow networks ⋮ Process-centric views of data-driven business artifacts ⋮ The imprecisions of precision measures in process mining ⋮ Adaptive collaboration in an ever-changing environment ⋮ Web services composition: complexity and models ⋮ The reference ontology of collective behavior of autonomous agents and its extensions ⋮ Lectures on Concurrency and Petri Nets ⋮ Applications and Theory of Petri Nets 2005 ⋮ Process Model Discovery: A Method Based on Transition System Decomposition ⋮ Soundness of workflow nets: classification, decidability, and analysis ⋮ From StPowla processes to SRML models ⋮ A formal semantics for the Taverna 2 workflow model ⋮ A system for deduction-based formal verification of workflow-oriented software models ⋮ Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN ⋮ A Language for Task Orchestration and Its Semantic Properties ⋮ Coordination: Reo, Nets, and Logic ⋮ Formal semantics and analysis of control flow in WS-BPEL ⋮ Formal verification of complex business processes based on high-level Petri nets ⋮ Soundness-preserving reduction rules for reset workflow nets ⋮ Flexibility in Process-Aware Information Systems ⋮ Towards Continuous Workflow Enactment Systems ⋮ The RiverFish Approach to Business Process Modeling: Linking Business Steps to Control-Flow Patterns ⋮ Fundamental Approaches to Software Engineering ⋮ A Non-Deterministic Multiset Query Language
This page was built for software: YAWL
