• VipTool

  • Referenced in 14 articles [sw13755]
  • VipTool is a tool for modelling, simulation, validation and verification of systems using place/transition Petri ... totally ordered sequences of transition occurrences. VipTool provides a comprehensive bundle of methods concerned with ... testing of executability are covered by VipTool...