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