Predicting Timeliness of Reactive Systems under Flexible Scheduling.

Giacomo Bucci Andrea Fedeli Enrico Vicario

Published in: ISADS (2003)

Keyphrases

reactive systems
manufacturing cell
scheduling problem
petri net
temporal logic
information flow
model checking
formal methods
control flow
scheduling algorithm
flexible manufacturing systems
case study
state machines