Results 1 to 4 of 4
Sort by:

  • rbminer
  • Referenced in 14 articles [sw00783]
  • rbminer: a tool for discovering Petri nets from...

  • Reo
  • Referenced in 88 articles [sw06353]
  • The Reo coordination language. Reo presents a paradigm...

  • Genet
  • Referenced in 4 articles [sw09785]
  • Genet: A tool for the synthesis and mining...

  • VipTool
  • Referenced in 14 articles [sw13755]
  • VipTool is a tool for modelling, simulation, validation...