add useful files and unit tests for petri nets