Petri nets for modeling robots door Debjyoti Bera