-
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 72 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 3 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...
-
PORGY
- Referenced in 14 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 6 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 5 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...
-
HACT-Net
- Referenced in 1 article
[sw39634]
- HACT-Net: A Hierarchical Cell-to-Tissue Graph Neural Network for Histopathological Image Classification. Cancer ... capturing cell morphology and interactions, a high-level tissue-graph, capturing morphology and spatial distribution ... Further, a hierarchical graph neural network (HACT-Net) is proposed to efficiently map the HACT...
-
Mathematica
- Referenced in 6355 articles
[sw00554]
- Almost any workflow involves computing results, and that...
-
Matlab
- Referenced in 13544 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
MiniSat
- Referenced in 566 articles
[sw00577]
- An extensible SAT-solver. MiniSat is a minimalistic...
-
Octave
- Referenced in 304 articles
[sw00646]
- GNU Octave is a high-level language, primarily...
-
R
- Referenced in 9969 articles
[sw00771]
- R is a language and environment for statistical...