Mathematical software

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 19 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 70 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...

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

PORGY
Referenced in 13 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...

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

keras-vis
Referenced in 1 article [sw34737]
high-level toolkit for visualizing and debugging your trained keras neural net models. Currently supported...

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

YAWL