Summary of DF networks
Advantages:
- Easy to use (graphical languages)
- Powerful algorithms for
- verification (fast behavioral simulation)
- synthesis (scheduling and allocation)
- Explicit concurrency
Disadvantages:
- Efficient synthesis only for restricted models
- (no input or output choice)
- Cannot describe reactive control (blocking read)