Singh, G. Basic Properties of Petri Nets. SRMSMATHS 2014, 1, 54-71.