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

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

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 highlevel visual programming environment...

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 5693 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

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

Octave
 Referenced in 275 articles
[sw00646]
 GNU Octave is a highlevel 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 online...

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