Integration of Petri Net chapter from Jan Welte