Petri nets for modeling robots by Debjyoti Bera