Understanding Petri Nets