Keyphrases
Control Method
50%
Control Problem
50%
Control Theory
50%
Deadlock Control
50%
Deadlock Prevention Policy
100%
Exhaustive Enumeration
50%
Liveness-enforcing Supervisor
50%
Maximally Permissive
50%
Mixed Integer Programming
100%
Modernity
50%
Petri Nets
100%
Process-oriented
50%
Programming Techniques
50%
Reachability Analysis
50%
Resource Allocation Systems
100%
Resource Base
50%
Resource Sharing
50%
Resource-based Theory
50%
Shared Process
50%
Special Class
50%
Specific Types
50%
Token
50%
Computer Science
Control Method
33%
Control Theory
33%
Deadlock
100%
Initial Marking
33%
Mixed Integer Programming
66%
Petri Net
100%
Programming Technique
33%
Reachability Analysis
33%
Resource Allocation
66%
Shared Resource
33%
Earth and Planetary Sciences
Control Theory
50%
Petri Net
100%
Resource Allocation
100%
Mathematics
Control Problems
50%
Control Theory
50%
Exhaustive Enumeration
50%
Integer Programming
100%
Engineering
Reachability
100%
Shared Resource
100%