
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 (highlevel) Petri nets it provides direct support for most...

Mnets
 Referenced in 11 articles
[sw09132]
 nets: An algebra of highlevel Petri nets, with an application to the semantics ... highlevel Petri net model called Mnets (for modular multilabelled nets). A distinctive feature ... both: unfolding, as do most other highlevel net models; and composition – in particular, synchronisation ... that the unfolding of a composite highlevel 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 highlevel Petri nets with fairness constraints. The algebra contains powerful built ... Models can be exported to lowlevel Petri nets and labelled transition systems. Translator programs ... procedural or objectoriented languages, or highlevel specifications such as SDL. par Maria...

DaGen
 Referenced in 6 articles
[sw04981]
 translation from DAMLS to highlevel Petri nets. The Internet provides possibilities for distributed ... suggest a description based on highlevel Petri nets called reference nets, allowing ... models can be automatically translated into highlevel nets and thus can be directly executed...

BNT
 Referenced in 70 articles
[sw07384]
 Bayes Net Toolbox (BNT) is an opensource Matlab package for directed graphical models ... undirected), and describe, at a highlevel, how BNT was designed to cope with them...

Crocodile
 Referenced in 2 articles
[sw09769]
 nets with bag. The use of highlevel nets, such as colored Petri nets...

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

DryadLINQ
 Referenced in 7 articles
[sw23712]
 distributed dataparallel computing using a highlevel language. DryadLINQ is a system ... expressive data model of strongly typed .NET objects; and by supporting generalpurpose imperative ... operations on datasets within a traditional highlevel 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 highlevel 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 highlevel visual programming environment...

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

kerasvis
 Referenced in 1 article
[sw34737]
 highlevel toolkit for visualizing and debugging your trained keras neural net models. Currently supported...

Workcraft
 Referenced in 5 articles
[sw01021]
 Reliable highlevel modeling constructs are crucial to the design of efficient asynchronous circuits. Concepts ... lowerlevel 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 highlevel requirements. A modular design for plugandplay ... AutoMOTGen is implemented in Java and C++ (.NET framework) and uses MATLAB scripting language...

Mathematica
 Referenced in 6075 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12557 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 546 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Octave
 Referenced in 294 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

R
 Referenced in 8776 articles
[sw00771]
 R is a language and environment for statistical...

SENAC
 Referenced in 6 articles
[sw00846]
 SENAC documentation comes in printed and online...