Added documents to demonstrate the petri nets approach