Added link to Petri section.
 Some minor changes to intro.