Clarifying the priority specification of GSPN: Detached priorities.

Enrique Teruel Giuliana Franceschinis Massimiliano De Pierro

Published in: PNPM (1999)

Keyphrases

higher priority
high priority
low priority
high level
expert systems
response time
business rules
preemptive scheduling
machine learning
formal specification
database
case study
data structure
user defined
specification language
formal verification