• YAWL

  • Referenced in 60 articles [sw04388]
  • language / workflow management system based on Petri nets and a rigorous analysis of existing workflow ... languages. Unlike traditional systems and (high-level) Petri nets it provides direct support for most...
  • M-nets

  • Referenced in 11 articles [sw09132]
  • nets: An algebra of high-level Petri nets, with an application to the semantics ... high-level Petri net model called M-nets (for modular multilabelled nets). A distinctive feature ... both: unfolding, as do most other high-level net models; and composition – in particular, synchronisation ... that the unfolding of a composite high-level net is the composition of the unfoldings...
  • Maria

  • Referenced in 18 articles [sw04127]
  • Maria: Modular reachability analyser for algebraic system nets Maria performs simulation, exhaustive reachability analysis ... model checking of high-level Petri nets with fairness constraints. The algebra contains powerful built ... Models can be exported to low-level Petri nets and labelled transition systems. Translator programs ... procedural or object-oriented languages, or high-level specifications such as SDL. par Maria...
  • DaGen

  • Referenced in 6 articles [sw04981]
  • translation from DAML-S to high-level Petri nets. The Internet provides possibilities for distributed ... suggest a description based on high-level Petri nets called reference nets, allowing ... models can be automatically translated into high-level nets and thus can be directly executed...
  • BNT

  • Referenced in 69 articles [sw07384]
  • Bayes Net Toolbox (BNT) is an open-source Matlab package for directed graphical models ... undirected), and describe, at a high-level, how BNT was designed to cope with them...
  • Crocodile

  • Referenced in 2 articles [sw09769]
  • nets with bag. The use of high-level nets, such as colored Petri nets...
  • ISTA

  • Referenced in 1 article [sw09770]
  • automated test code generation from high-level Petri nets. Automated software testing has gained much ... generation and execution by using high-level Petri nets as finite state test models. ISTA ... Implementation Description) specification -- including a high-level Petri net as the test model...
  • DryadLINQ

  • Referenced in 7 articles [sw23712]
  • distributed data-parallel computing using a high-level language. DryadLINQ is a system ... expressive data model of strongly typed .NET objects; and by supporting general-purpose imperative ... operations on datasets within a traditional high-level programming language. A DryadLINQ program ... written and debugged using standard .NET development tools. The DryadLINQ system automatically and transparently translates...
  • ANDy

  • Referenced in 2 articles [sw16548]
  • ANDy is formally given via high-level Petri nets ensuring this way some modularity...
  • PNBml

  • Referenced in 3 articles [sw09890]
  • work on the compositional algebra of nets with boundaries, we show how an algebraic decomposition ... high-level domain specific language (DSL), PNBml, for the construction of nets in terms...
  • PORGY

  • Referenced in 10 articles [sw06923]
  • molecular networks, adhoc communication networks or interaction nets. The ability to act on the simulation ... graph rewriting systems into a high-level visual programming environment...
  • Workcraft

  • Referenced in 5 articles [sw01021]
  • Reliable high-level modeling constructs are crucial to the design of efficient asynchronous circuits. Concepts ... lower-level implementation details.\parAside from providing a more abstract, higher level view, SDFS allow ... done by converting it to a Petri Net preserving behavioural equivalence. Once the equivalent Petri...
  • AutoMOTGen

  • Referenced in 3 articles [sw09718]
  • model elements as well as high-level requirements. A modular design for plug-and-play ... AutoMOTGen is implemented in Java and C++ (.NET framework) and uses MATLAB scripting language...
  • Mathematica

  • Referenced in 5693 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 520 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Octave

  • Referenced in 275 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • R

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

  • Referenced in 6 articles [sw00846]
  • SENAC documentation comes in printed and on-line...
  • TSPLIB

  • Referenced in 653 articles [sw00983]
  • TSPLIB is a library of sample instances for...