Added reference to Agerwala - similar approach to prove accepting case for Petri nets
Fixed #56