
DSSZMC
 Referenced in 6 articles
[sw01360]
 symbolic analysis of bounded place/ transition Petri nets extended by read, inhibitor, equal, and reset...

Petrify
 Referenced in 26 articles
[sw09784]
 transitions relabeled to fulfill the conditions required to obtain a Petri net. Petrify is able ... free choice, unique choice, place irredundant, etc. The Petri nets accepted by petrify can also ... interpreted as Signal Transition Graphs describing the behavior of asynchronous controllers. Petrify is able...

pntool
 Referenced in 2 articles
[sw21085]
 Toolbox five types of Petri nets (untimed, transitiontimed, placetimed, stochastic and generalized stochastic ... instruments to explore the dynamics of Petri net models, as well as animation facilities...

MoVisPP
 Referenced in 3 articles
[sw35665]
 Petri net model of biological networks is built manually by drawing places, transitions and arcs ... networks. We motivate the application of Petri nets for modeling and simulation of biological networks...

Anica
 Referenced in 1 article
[sw22198]
 PBNI+) and place based noninterference with downgrading (PBNID) for safe Petri nets. Anica ... input, Anica requires a safe Petri net, which transitions are labeled with HIGH...

GAP
 Referenced in 3164 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Macaulay2
 Referenced in 1921 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3296 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5369 articles
[sw00545]
 The result of over 30 years of cutting...

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

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

rbminer
 Referenced in 14 articles
[sw00783]
 rbminer: a tool for discovering Petri nets from...

SageMath
 Referenced in 1974 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1508 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

TOPOS
 Referenced in 43 articles
[sw02206]
 TOPOS  A new constructive algorithm for nesting problems...

ELOTOS
 Referenced in 25 articles
[sw03017]
 Use of ELOTOS in adding formality to...

FFTW
 Referenced in 540 articles
[sw04126]
 FFTW is a C subroutine library for computing...

Genocop
 Referenced in 1099 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

mctoolbox
 Referenced in 1485 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

Reo
 Referenced in 88 articles
[sw06353]
 The Reo coordination language. Reo presents a paradigm...