What to talk?

Introduction and Motivations
Design Approaches

Assumptions

Tranditional Petri Net Decomposing

Hierarchical Petri Nets

Implemenation
Conclusions