Petri nets: Properties, analysis and applications