×

Found 121 Software Packages (Results 1–100)

YAWL

Software Authors:   van der Aalst, Wil M.P.
Referenced in: 26 Publications (2004–2021)
Related Software: Woflan; Taverna; WSAT; PNML; Oracle; BPEL2PN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GreatSPN

Software Authors:   Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew
Referenced in: 51 Publications (1988–2021)
Related Software: GreatSPN 1.7; TimeNET; CADP; SPNP; PEPA; PRISM; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

SPNP

Software Authors:   Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi
Referenced in: 46 Publications (1990–2021)
Related Software: GreatSPN 1.7; DSPNexpress; GreatSPN; TimeNET; Möbius; ESP; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

TINA

Software Authors:   Berthomieu, B.; Ribet, P.-O.; Vernadat, F.; LAAS/CNRS
Referenced in: 45 Publications (2004–2022)
Related Software: Uppaal; Romeo; Kronos; CMC; TAPAAL; CPN/Tools; …
Main Fields: Computer science (68-XX); Optics, electromagnetic theory (78-XX); Operations research, mathematical programming (90-XX)

SHARPE

Software Authors:   Sahner, Robin; Trivedi, Kishor S.; Puliafito, Antonio
Referenced in: 36 Publications (1992–2021)
Related Software: Möbius; SPNP; SMART_; PRISM; CADP; AToM3; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

GreatSPN 1.7

Software Authors:   Chiola, G.; Franceschinis, G.; Gaeta, R.; Ribaudo, M.
Referenced in: 38 Publications (1995–2012)
Related Software: GreatSPN; SPNP; PEPA; CADP; PRISM; Möbius; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

PNML

Software Authors:   Hillah, L.M.; Kordon, F.; Petrucci, L.; Trèves, N.
Referenced in: 27 Publications (1992–2021)
Related Software: Woflan; YAWL; TRANSPATH; SPIN; FAST; SNOOPY; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Design/CPN

Software Authors:   Al-Azzoni, Issam; Down, Douglas G.
Referenced in: 31 Publications (1996–2021)
Related Software: CPN/Tools; TINA; ML; SYROCO; Woflan; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

SNOOPY

Software Authors:   M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
Referenced in: 28 Publications (1994–2021)
Related Software: SUNDIALS; Cell Illustrator; CPN/Tools; KEGG; Charlie; APL; …
Main Fields: Algebraic geometry (14-XX); Partial differential equations (35-XX); Computer science (68-XX)

TimeNET

Software Authors:   German, Reinhard; Kelling, Christian; Zimmermann, Armin; Hommel, Günter
Referenced in: 28 Publications (1995–2022)
Related Software: GreatSPN; SPNP; GreatSPN 1.7; ESP; SHARPE; SPNica; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CPN/Tools

Software Authors:   Beaudouin-Lafon, Michel; Mackay, Wendy E.; Jensen, Mads; Andersen, Peter; Janecek, Paul
Referenced in: 23 Publications (2001–2021)
Related Software: Design/CPN; TINA; SPIN; SNOOPY; LoLA; Access/CPN; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Petrify

Software Authors:   Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.
Referenced in: 24 Publications (2001–2022)
Related Software: APT; GitHub; Genet; rbminer; Uppaal; Kronos; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

Romeo

Software Authors:   Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier (H.)
Referenced in: 26 Publications (2005–2020)
Related Software: TINA; Uppaal; Kronos; TAPAAL; CMC; IF-2.0; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

APT

Software Authors:   Schlachter, U., et al.
Referenced in: 24 Publications (2015–2021)
Related Software: GitHub; Petrify; SMTInterpol; Synet; ITS-Tools; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Maria

Software Authors:   M"akel"a, Marko
Referenced in: 19 Publications (2000–2021)
Related Software: LoLA; Uppaal; M-nets; Isabelle; PEP; Kronos; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX)

TAPAAL

Software Authors:   Byg, Joakim; Jørgensen, Kenneth Yrke; Srba, Jiří
Referenced in: 18 Publications (2011–2021)
Related Software: Uppaal; Romeo; TINA; PTrie; Kronos; PetriNets; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BPEL2PN

Software Authors:   Christian Stahl; Hinz; K. Schmidt
Referenced in: 13 Publications (2006–2014)
Related Software: WSAT; COWS; BPEL2oWFN; LoLA; SPIN; Woflan; …
Main Fields: Computer science (68-XX)

INA

Software Authors:   Peter. H. Starke
Referenced in: 18 Publications (1996–2020)
Related Software: SNOOPY; CADP; MARTE; SysML; SoftExplorer; Ginsim; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Renew

Software Authors:   Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger
Referenced in: 15 Publications (2004–2021)
Related Software: libDDD; LOEWE; ITS-Tools; caesar.bdd; Meddly; PNMC; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ESP

Software Authors:   Cumani, A.
Referenced in: 16 Publications (1988–2016)
Related Software: TimeNET; SPNP; DSPNexpress; PEPS; WebSPN; Matlab; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Petruchio

Software Authors:   Tim Strazny; Roland Meyer; Sven Linker
Referenced in: 15 Publications (2008–2022)
Related Software: MWB; SLMC; Storm; MCMAS; PRISM; Overture Tool; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

VipTool

Software Authors:   Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.
Referenced in: 12 Publications (2008–2022)
Related Software: rbminer; Genet; Petrify; ProM; Workcraft; HybridILPMiner; …
Main Fields: Computer science (68-XX)

DSPNexpress

Software Authors:   Lindemann
Referenced in: 14 Publications (1993–2011)
Related Software: SPNP; GreatSPN 1.7; GreatSPN; ESP; TimeNET; ILUT; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

LBS

Software Authors:   Pedersen, Michael; Plotkin, Gordon D.
Referenced in: 14 Publications (2010–2020)
Related Software: Bio-PEPA; BioNetGen; BIOCHAM; PRISM; BlenX; NFsim; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

PEP

Software Authors:   Best, Eike; Bernd Grahlmann
Referenced in: 13 Publications (1997–2018)
Related Software: M-nets; Uppaal; Maria; Kronos; Smodels; MultiUbic; …
Main Fields: Computer science (68-XX)

rbminer

Software Authors:   Solé, Marc; Carmona, Josep
Referenced in: 11 Publications (2010–2022)
Related Software: VipTool; Genet; ProM; HybridILPMiner; Petrify; DB2; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Augur 2

Software Authors:   König, Barbara; Kozioura, Vitali
Referenced in: 10 Publications (2006–2020)
Related Software: GROOVE; SPIN; CheckVML; VAMPIRE; Henshin; Maude; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

APNN-Toolbox

Software Authors:   Peter Buchholz; Markus Fischer; Peter Kemper; Carsten Tepper
Referenced in: 11 Publications (1999–2018)
Related Software: LDQBD; PEPS; COLAMD; PEPA; StochKit; GTAEXPRESS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

ExSpect

Software Authors:   van der Aalst, Wil M.P.; de Crom, Poul J.N.; Goverde, Roy R.H.M.J.; van Hee, Kees M.; Hofman, Wout J.; Reijers, Hajo A.; van der Toorn, Robert A.
Referenced in: 8 Publications (1992–2013)
Related Software: Woflan; Protos; YAWL; Design/CPN; CPN/Tools; SPNP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Helena

Software Authors:   Evangelista, Sami
Referenced in: 7 Publications (2005–2015)
Related Software: SNAKES; CPN/Tools; PROD; veriSoft; SPIN; GreatSPN 1.7; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

M-nets

Software Authors:   Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
Referenced in: 10 Publications (1998–2012)
Related Software: Maria; PEP; Uppaal; Kronos; Ptolemy; Renew; …
Main Fields: Computer science (68-XX)

VPM

Software Authors:   Dániel Varró, András Pataricza
Referenced in: 4 Publications (2005–2007)
Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields: Computer science (68-XX)

Exp.Open

Software Authors:   Frédéric Lang
Referenced in: 9 Publications (2006–2019)
Related Software: CADP; CAESAR_SOLVE; SPIN; E-LOTOS; CAESAR; M-TREE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

PROD

Software Authors:   Donatelli, Susanna; Ferro, Liliana; http://www.tcs.hut.fi/Software/prod/AUTHORS
Referenced in: 8 Publications (1996–2008)
Related Software: Helena; Maria; SPIN; veriSoft; LTL2BA; Chaff; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

PetriNets

Software Authors:   C.A. Petri
Referenced in: 8 Publications (2006–2014)
Related Software: Uppaal; Kronos; TAPAAL; CMC; IF-2.0; TINA; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX); Computer science (68-XX)

ADAM

Software Authors:   Hinkelmann F, Brandon M, Guang B, McNeill R, Blekherman G, Veliz-Cuba A, Laubenbacher R
Referenced in: 8 Publications (2011–2020)
Related Software: Ginsim; Macaulay2; BoolNet; SNOOPY; Polynome; multistatepdscontrol; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Biology and other natural sciences (92-XX)

libDDD

Software Authors:   –
Referenced in: 6 Publications (2008–2019)
Related Software: Renew; GreatSPN; LOEWE; ITS-Tools; caesar.bdd; Meddly; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

MARCIE

Software Authors:   Heiner, Monika; Rohr, Christian; Schwarick, Martin
Referenced in: 5 Publications (2013–2017)
Related Software: PRISM; SABRE; CADP; SPIN; MRMC; Bio-PEPA; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Access/CPN

Software Authors:   Westergaard, Michael; Kristensen, Lars Michael
Referenced in: 3 Publications (2010–2014)
Related Software: CPN/Tools; PeCAn; SNOOPY; TAPAAL; ASAP; Design/CPN
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

DaGen

Software Authors:   Daniel Moldt, Jan Ortmann
Referenced in: 5 Publications (1996–2010)
Related Software: DAGEN; Jena; RanGen; Renew
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

DPPN

Software Authors:   Clempner, Julio
Referenced in: 6 Publications (2005–2010)
Related Software:
Main Fields: Difference and functional equations (39-XX); Statistics (62-XX); Computer science (68-XX)

DSSZ-MC

Software Authors:   Heiner, Monika; Schwarick, Martin; Tovchigrechko, Alexej
Referenced in: 5 Publications (2011–2012)
Related Software: SNOOPY; MoVisPP; COPASI; ZBDD; SMART_
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

PIPE2

Software Authors:   Nicholas J. Dingle , William J. Knottenbelt , Tamas Suto
Referenced in: 5 Publications (2013–2022)
Related Software: MARCA; HyperStar; Jphase; mdp; PRISM; JUnit; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

sbioPN

Software Authors:   Roberto Bertolusso; Marek Kimmel
Referenced in: 6 Publications (2012–2022)
Related Software: SPPARKS
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Biology and other natural sciences (92-XX)

SNAKES

Software Authors:   Franck Pommereau
Referenced in: 5 Publications (2008–2015)
Related Software: Helena; Charlie; SNOOPY; ANDy; CosyVerif; Cython; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

CoopnBuilder

Software Authors:   Al-Shabibi, Ali; Buchs, Didier; Buffo, Mathieu; Chachkov, Stanislav; Chen, Ang; Hurzeler, David
Referenced in: 4 Publications (1990–2011)
Related Software: Maude; PNML; AlPiNA
Main Fields: Computer science (68-XX)

Cunf

Software Authors:   César Rodríguez, Stefan Schwoon
Referenced in: 5 Publications (2012–2021)
Related Software: SPIN; CosyVerif; NuSMV; PRISM; Graphplan; SATzilla; …
Main Fields: Computer science (68-XX)

Cyto-Sim

Software Authors:   Sean Sedwards, Tommaso Mazza
Referenced in: 4 Publications (2008–2014)
Related Software: BlenX; COPASI; Bio-PEPA
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Genet

Software Authors:   Carmona, J., Cortadella, J., Kishinevsky, M.
Referenced in: 4 Publications (2012–2022)
Related Software: rbminer; VipTool; Petrify; ProM; Workcraft; Reo
Main Fields: Computer science (68-XX)

Mole

Software Authors:   S. Schwoon
Referenced in: 5 Publications (2002–2017)
Related Software: Punf; PEP; Cunf
Main Fields: Computer science (68-XX)

AdamMC

Software Authors:   Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Referenced in: 4 Publications (2019–2021)
Related Software: zUpdate; PTrie; NuSMV; TAPAAL; FatTire; Kuai; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AlPiNA

Software Authors:   Buchs, Didier; Hostettler, Steve; Marechal, Alexis; Risoldi, Matteo
Referenced in: 2 Publications (2010–2011)
Related Software: Crocodile; Helena; Maude; CoopnBuilder; PNML
Main Fields: Computer science (68-XX)

caesar.bdd

Software Authors:   Damien Bergamini; Hubert Garavel; INRIA Rhone-Alpes
Referenced in: 4 Publications (2015–2021)
Related Software: NUPN_INFO; CAESAR; TINA; PNML; LOEWE; ITS-Tools; …
Main Fields: Computer science (68-XX)

Charlie

Software Authors:   Heiner, Monika; Schwarick, Martin; Wegener, Jan-Thierry
Referenced in: 2 Publications (2015–2017)
Related Software: SNOOPY; SNAKES; ANDy; ZBDD; SABRE; MARCIE; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Desco

Software Authors:   Fabian, Martin; Hellgren, Anders
Referenced in: 4 Publications (2000–2011)
Related Software: UMDES; Uppaal
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

HYPENS

Software Authors:   Sessego, Fausto; Giua, Alessandro; Seatzu, Carla
Referenced in: 4 Publications (2008–2019)
Related Software: Matlab; Gurobi; SimHPN
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

NUPN_INFO

Software Authors:   Hubert Garavel; INRIA Rhone-Alpes
Referenced in: 4 Publications (2015–2021)
Related Software: caesar.bdd; CAESAR; TINA; PNML; LOEWE; ITS-Tools; …
Main Fields: Computer science (68-XX)

Petriweb

Software Authors:   Goud, R., van Hee, K., Post, R., van der Werf, J.
Referenced in: 3 Publications (2008–2019)
Related Software: LOEWE; ITS-Tools; caesar.bdd; Meddly; PNMC; CAESAR; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Verigraph

Software Authors:   Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo
Referenced in: 4 Publications (2016–2019)
Related Software: AGG; AGREE; GROOVE; EMorF; eMoflon; Henshin; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

XRL/Flower

Software Authors:   Verbeek, H.M.W.; Hirnschall, A.; van der Aalst, W.M.P.
Referenced in: 3 Publications (2002–2005)
Related Software: Woflan; PNML; ade4TkGUI; YAWL
Main Fields: Computer science (68-XX)

Conductor

Software Authors:   Camilli, Matteo; Bellettini, Carlo; Capra, Lorenzo; Monga, Mattia; Netflix
Referenced in: 3 Publications (2018–2021)
Related Software: OpenSHMEM; GPS; GoFFish; Airflow; Apache Samza; Elasticsearch; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Crocodile

Software Authors:   Colange, M.; Baarir, S.; Kordon, F.; Thierry-Mieg, Y.
Referenced in: 2 Publications (2011–2021)
Related Software: Helena; AlPiNA; GreatSPN
Main Fields: Computer science (68-XX)

ePNK

Software Authors:   Ekkart Kindler
Referenced in: 2 Publications (2011–2015)
Related Software: AspectJ; PNML
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ILLTP

Software Authors:   Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle
Referenced in: 3 Publications (2019–2021)
Related Software: Lolli; z3; OEIS; Haskell; Sympli; llprover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LOOPN++

Software Authors:   C. Lakos, C. Keen
Referenced in: 3 Publications (1996–2001)
Related Software: SYROCO; Eiffel; Design/CPN; Gina; MOBY; THORNs; …
Main Fields: Computer science (68-XX)

MoVisPP

Software Authors:   Chen, Ming; Hariharaputran, Sridhar; Hofestädt, Ralf; Kormeier, Benjamin
Referenced in: 3 Publications (2011)
Related Software: COPASI; SNOOPY; VisANT; Virtual Cell; Bio-SPICE; KEGG; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Petri-PDL

Software Authors:   Braga, Christiano; Lopes, Bruno
Referenced in: 3 Publications (2016–2018)
Related Software: Maude
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PNBml

Software Authors:   Sobociński, Paweł; Stephens, Owen
Referenced in: 3 Publications (2014–2017)
Related Software:
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

SPNica

Software Authors:   German, Reinhard
Referenced in: 2 Publications (2000–2013)
Related Software: TimeNET; SHARPE; ESP; GreatSPN 1.7; Mathematica; GreatSPN
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Synet

Software Authors:   Benoît Caillaud
Referenced in: 3 Publications (2012–2016)
Related Software: APT; GitHub; Petrify; SMT-LIB; dbminer; ProM
Main Fields: Computer science (68-XX)

ANDy

Software Authors:   Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel
Referenced in: 1 Publication (2018)
Related Software: Charlie; SNOOPY; SNAKES
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

BioSimulator.jl

Software Authors:   Alfonso Landeros, Timothy Stutz, Kevin L. Keys, Alexander Alekseyenko, Janet S. Sinsheimer, Kenneth Lange, Mary Sehl
Referenced in: 0 Publications
Related Software: DifferentialEquations.jl; Julia; DiffEqFlux; Flux; GR Framework; epinet; …
Main Fields:

CPN Assistant

Software Authors:   Korečko, Štefan; Marcinčin, Ján; Slodičák, Viliam
Referenced in: 0 Publications
Related Software: Cell Illustrator; SNOOPY; SUNDIALS
Main Fields: Computer science (68-XX)

ERS

Software Authors:   Jean-Marie, A.
Referenced in: 2 Publications (2003–2014)
Related Software: SIMGRID; DataCutter; eSkel; GreatSPN
Main Fields: Computer science (68-XX)

ESPNET

Software Authors:   Duggan, J.; Browne, J.
Referenced in: 2 Publications (1988–1997)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ITPN-perfbound

Software Authors:   Pacini Naumovich, Elina; Bernardi, Simona; Gribaudo, Marco
Referenced in: 1 Publication (2021)
Related Software:
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

mist

Software Authors:   Pierre Ganty
Referenced in: 1 Publication (2018)
Related Software: SPIN; VERIFAS; z3
Main Fields: Computer science (68-XX)

OpenMADS

Software Authors:   Andrade, Ermeson C.; Alves, Marcelo; Matos, Rubens; Silva, Bruno; Maciel, Paulo
Referenced in: 1 Publication (2017)
Related Software:
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Oris

Software Authors:   Bucci, Giacomo; Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico
Referenced in: 1 Publication (2005)
Related Software: TINA; Uppaal; TIMES; TAXYS; Kronos; Romeo
Main Fields: Computer science (68-XX)

PARTS

Software Authors:   Buy, U.; Sloan, R.H.
Referenced in: 2 Publications (2001–2006)
Related Software: Matlab; HyTech; Ada95
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

PDETool

Software Authors:   Khalili, Ali; Jalaly Bidgoly, Amir; Abdollahi Azgomi, Mohammad
Referenced in: 1 Publication (2005)
Related Software: Matlab
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

PNTooL

Software Authors:   Huber, M.; Lorenz, Robert
Referenced in: 2 Publications (2014–2015)
Related Software: SNAKES
Main Fields: Computer science (68-XX)

pntool

Software Authors:   Pastravanu, Octavian; Matcovschi, Mihaela-Hanako; Mahulea, Cristian
Referenced in: 2 Publications (2004)
Related Software: Matlab
Main Fields: General and overarching topics; collections (00-XX); Systems theory; control (93-XX)

SimHPN

Software Authors:   J\'ulvez, Jorge; Mahulea, Cristian; V\'azquez, Carlos-Renato
Referenced in: 2 Publications (2012–2014)
Related Software: Matlab; HYPENS
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

THORNs

Software Authors:   Köster, Frank; Schöf, Stefan; Sonnenschein, Michael; Wieting, Ralf
Referenced in: 2 Publications (2001–2005)
Related Software: Gina; LOOPN++; MOBY
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

WebSPN

Software Authors:   Horváth, Andras; Puliafito, Antonio; Scarpa, Marco; Telek, Miklós; Tomarchio, Orazio
Referenced in: 2 Publications (1998–2000)
Related Software: ESP; TimeNET
Main Fields: Computer science (68-XX)

WFPDL

Software Authors:   Grefen, Paul; Angelov, Samuil
Referenced in: 2 Publications (2003)
Related Software: Woflan
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

WiCcA

Software Authors:   Lantair, Jennifer; Sobociński, Paweł
Referenced in: 2 Publications (2011–2017)
Related Software:
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

Yasper

Software Authors:   van Hee, K., Oanea, O., Post, R., Somers, L., van de Werf, J.M.
Referenced in: 2 Publications (2008–2017)
Related Software: PIPE; VipTool; Woflan; SPIN; PNML; Petriweb
Main Fields: Computer science (68-XX)

ZBDD

Software Authors:   Noack, A.
Referenced in: 1 Publication (2011)
Related Software: SNOOPY; SABRE; MARCIE; Charlie; Möbius; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Anica

Software Authors:   Service Technology
Referenced in: 1 Publication (2018)
Related Software: MultiUbic; PEP
Main Fields: Computer science (68-XX)

ArgoSPE

Software Authors:   G\'omez-Mart{\'\i}nez, Elena; Merseguer, Jos\'e
Referenced in: 0 Publications
Related Software:
Main Fields:

CpnToUnit

Software Authors:   D. K. Hlomozda
Referenced in: 1 Publication (2018)
Related Software: FSM; GitHub; ProM; LoLA; CPN/Tools
Main Fields: Computer science (68-XX)

dbminer

Software Authors:   Marc Solé, Josep Carmona
Referenced in: 1 Publication (2012)
Related Software: Synet; ProM
Main Fields: Computer science (68-XX)

DRBD

Software Authors:   H. Xu, L. Xing; R. Robidoux
Referenced in: 1 Publication (2020)
Related Software: BlockSim; HOL; Isabelle/HOL; Isabelle
Main Fields: Computer science (68-XX)

FEADS

Software Authors:   Pai, Rajani; Govindarajan, R.
Referenced in: 1 Publication (2007)
Related Software:
Main Fields: Computer science (68-XX)

Gadara

Software Authors:   Lafortune, Stéphane; Wang, Yin; Reveliotis, Spyros
Referenced in: 1 Publication (2013)
Related Software: RacerX
Main Fields: Computer science (68-XX)

GAMTEB

Software Authors:   Babb, Robert G. II; Storc, Lise; Hiromoto, Robert
Referenced in: 1 Publication (1988)
Related Software:
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Geist3D

Software Authors:   Stier, Jochen; Jahnke, Jens; M\"uller, Hausi
Referenced in: 0 Publications
Related Software:
Main Fields:

Gina

Software Authors:   M. Sonnenschein
Referenced in: 1 Publication (2001)
Related Software: LOOPN++; MOBY; THORNs
Main Fields: Computer science (68-XX)