Need someone to do a project involving one of the programming above. Specify which you can use. Familiarity with Petri Nets a plus.