Continued work on DES seminar. Added the PNTool petri net files.