Computer Science
Process Model
94%
Event Structure
71%
Case Study
65%
Case Management System
47%
Automaton
47%
Liveness
31%
Workflow Process
31%
Workflow Management System
28%
Regular Language
23%
Healthcare Service
23%
Operational Semantics
23%
Graphical Notation
23%
Liveness Property
23%
Transition System
23%
model checker
23%
Subgraphs
15%
Business Process Model and Notation
15%
Execution Model
15%
Specification Model
15%
Business Process
15%
Deadlock Freedom
15%
Deadlock
15%
Process Management
15%
discrete-time
15%
State Transition
15%
Concurrency
15%
Directed Graphs
15%
Control Flow
7%
Dynamic Environment
7%
Synchronous Communication
7%
Unexpected Behavior
7%
Workflow Engine
7%
Complex Environment
7%
Execution State
7%
Management Domain
7%
Current Business Process
7%
Traditional Model
7%
Structure Model
7%
Activity Diagram
5%
Simulation Tool
5%
Business Process Model
5%
Organizational Process
5%
Petri Net
5%
Knowledge Management
5%
Process Activity
5%
Sequence Diagram
5%
Information System
5%
Keyphrases
Dynamic Condition Response Graphs
100%
Distributed Dynamics
39%
Declarative Processes
36%
Event Structure
34%
Response Graph
26%
Cross-organization
25%
Inter-organizational Workflow
18%
Event-based
18%
Declarative Workflow
15%
Declarative Modeling
15%
Healthcare Workflows
15%
Acceptance Conditions
15%
Infinite Behavior
15%
Adaptive Case Management
15%
DCR Graphs
15%
Dition
15%
Automata
15%
Local Processes
13%
Industrial Partner
13%
Graphical Notation
10%
Workflow Languages
10%
Imperative Model
10%
BPMN
10%
Distributed Execution
10%
Concurrency
7%
Labelled Transition Systems
7%
Response Relationship
7%
Conflict Relation
7%
Dynamic Inclusion
7%
Causality Relationship
7%
Process Graph
7%
Formal Techniques
7%
Workflow Management System
7%
Automatic Verification
7%
Declarative Model
7%
Business Process
7%
Global Processes
7%
Event Sets
7%
Structure Model
7%
Execution Semantics
7%
Complex Scenarios
7%
Workflow Process
7%
SPIN Model Checker
6%
Büchi Automata
6%
Liveness
5%
Graph Process
5%
Prime Event Structure
5%
Regular Languages
5%
Operational Semantics
5%
Process Activity
5%
Behavioral Constraints
5%
Process-aware Information Systems
5%
Graphical Simulation
5%
Nested Processes
5%
Petri Nets
5%
BPMN 2.0
5%
Distributed Healthcare
5%
Model-based Design
5%
Healthcare
5%
Knowledge Management System
5%
Cross-organizational Processes
5%
UML Activity Diagram
5%
Nested Graph
5%
UML Sequence Diagram
5%
Ad-hoc Processes
5%
Graph Model
5%
Graphical Design
5%