• DSSZ-MC

  • Referenced in 6 articles [sw01360]
  • place/ transition Petri nets extended by read, inhibitor, equal, and reset arcs. No previous knowledge...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8728 articles [sw00771]
  • R is a language and environment for statistical...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • This paper presents Web Service Analysis Tool (WSAT...
  • DYNAMO

  • Referenced in 251 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • Wendy

  • Referenced in 6 articles [sw01246]
  • Wendy: A tool to synthesize partners for services...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • Metagraphs

  • Referenced in 20 articles [sw01368]
  • Metagraphs: A tool for modeling decision support systems...
  • RESTART

  • Referenced in 32 articles [sw02499]
  • RESTART: A method for accelerating rare event simulations...
  • ASTRAL

  • Referenced in 17 articles [sw02878]
  • Hardware specification using the assertion language ASTRAL We...
  • YAWL

  • Referenced in 60 articles [sw04388]
  • YAWL (Yet Another Workflow Language) is a workflow...
  • CVX

  • Referenced in 734 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • Uppaal

  • Referenced in 635 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • DLMF

  • Referenced in 2352 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • GAMS

  • Referenced in 844 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • LMI toolbox

  • Referenced in 1438 articles [sw06383]
  • Linear Matrix Inequalities (LMIs) and LMI techniques have...
  • BPEL2PN

  • Referenced in 18 articles [sw06954]
  • BPEL2PN is a Java-based compiler that transforms...
  • Woflan

  • Referenced in 36 articles [sw07028]
  • Woflan: A Petri-net-based workflow analyzer. Workflow...