Applications and Theory in Petri Nets