Summary of Petri net synthesis
Reconstructs PN form from flat TS
Can be used for synthesis and optimization
Exploits linear algebraic theory
Extremely expensive
- can be exponential in size of TS
- heuristic techniques can be quite effective
Should be coupled with structure theory