An open source, platform independent tool for creating and analysing Petri nets