The following pages link to YAWL (Q16564):
Displaying 26 items.
- A data-centric approach to manage business processes (Q272165) (← links)
- Web services composition: complexity and models (Q499345) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- From StPowla processes to SRML models (Q973047) (← links)
- A formal semantics for the Taverna 2 workflow model (Q980997) (← links)
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197) (← links)
- Formal semantics and analysis of control flow in WS-BPEL (Q997228) (← links)
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- The imprecisions of precision measures in process mining (Q1708257) (← links)
- The reference ontology of collective behavior of autonomous agents and its extensions (Q1742392) (← links)
- A system for deduction-based formal verification of workflow-oriented software models (Q2018423) (← links)
- Formal verification of complex business processes based on high-level Petri nets (Q2292988) (← links)
- A simplified framework for stochastic workflow networks (Q2389516) (← links)
- Process-centric views of data-driven business artifacts (Q2396822) (← links)
- Formal Methods to Improve Public Administration Business Processes (Q2889178) (← links)
- Towards Continuous Workflow Enactment Systems (Q3407296) (← links)
- The RiverFish Approach to Business Process Modeling: Linking Business Steps to Control-Flow Patterns (Q3407301) (← links)
- Adaptive collaboration in an ever-changing environment (Q3540652) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- Flexibility in Process-Aware Information Systems (Q3623823) (← links)
- Process Model Discovery: A Method Based on Transition System Decomposition (Q5166757) (← links)
- Fundamental Approaches to Software Engineering (Q5316442) (← links)
- Lectures on Concurrency and Petri Nets (Q5712274) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713516) (← links)
- A Language for Task Orchestration and Its Semantic Properties (Q5756609) (← links)
- A Non-Deterministic Multiset Query Language (Q5862341) (← links)
