Results 1 to 1 of 1
Sort by:

  • 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...