GreatSPN Software Authors: Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew Cited 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 Cited in: 46 Publications (1990–2021) Related Software: DSPNexpress; GreatSPN 1.7; TimeNET; GreatSPN; Möbius; ESP; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
SHARPE Software Authors: Sahner, Robin; Trivedi, Kishor S.; Puliafito, Antonio Cited in: 36 Publications (1992–2021) Related Software: Möbius; SMART_; SPNP; AToM3; TimeNET; PRISM; … 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. Cited 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)
TimeNET Software Authors: German, Reinhard; Kelling, Christian; Zimmermann, Armin; Hommel, Günter Cited 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)
ESP Software Authors: Cumani, A. Cited in: 17 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)
DSPNexpress Software Authors: Lindemann Cited 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)
PROD Software Authors: Donatelli, Susanna; Ferro, Liliana; http://www.tcs.hut.fi/Software/prod/AUTHORS Cited 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 Cited in: 8 Publications (2006–2014) Related Software: Uppaal; Kronos; TAPAAL; TINA; CMC; IF-2.0; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX); Computer science (68-XX)
MARCIE Software Authors: Heiner, Monika; Rohr, Christian; Schwarick, Martin Cited 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)
PIPE2 Software Authors: Nicholas J. Dingle , William J. Knottenbelt , Tamas Suto Cited 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 Cited 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)
Cyto-Sim Software Authors: Sean Sedwards, Tommaso Mazza Cited in: 4 Publications (2008–2014) Related Software: BlenX; COPASI; Bio-PEPA Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Charlie Software Authors: Heiner, Monika; Schwarick, Martin; Wegener, Jan-Thierry Cited in: 2 Publications (2015–2017) Related Software: SNOOPY; SNAKES; ANDy; Möbius; ZBDD; SABRE; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
HYPENS Software Authors: Sessego, Fausto; Giua, Alessandro; Seatzu, Carla Cited 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)
SPNica Software Authors: German, Reinhard Cited 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)
BioSimulator.jl Software Authors: Alfonso Landeros, Timothy Stutz, Kevin L. Keys, Alexander Alekseyenko, Janet S. Sinsheimer, Kenneth Lange, Mary Sehl Cited in: 0 Publications Related Software: DifferentialEquations.jl; Julia; DiffEqFlux; Flux; GR Framework; epinet; … Main Fields: –
OpenMADS Software Authors: Andrade, Ermeson C.; Alves, Marcelo; Matos, Rubens; Silva, Bruno; Maciel, Paulo Cited 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 Cited in: 1 Publication (2005) Related Software: TINA; Uppaal; TIMES; TAXYS; Kronos; Romeo Main Fields: Computer science (68-XX)
PDETool Software Authors: Khalili, Ali; Jalaly Bidgoly, Amir; Abdollahi Azgomi, Mohammad Cited 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: Pastravanu, Octavian; Matcovschi, Mihaela-Hanako; Mahulea, Cristian Cited in: 2 Publications (2004) Related Software: Matlab Main Fields: General and overarching topics; collections (00-XX); Systems theory; control (93-XX)
WebSPN Software Authors: Horváth, Andras; Puliafito, Antonio; Scarpa, Marco; Telek, Miklós; Tomarchio, Orazio Cited in: 2 Publications (1998–2000) Related Software: ESP; TimeNET Main Fields: Computer science (68-XX)
ArgoSPE Software Authors: G\'omez-Mart{\'\i}nez, Elena; Merseguer, Jos\'e Cited in: 0 Publications Related Software: – Main Fields: –
RDPS Software Authors: Florin, G., Natkin Cited in: 1 Publication (1993) Related Software: – Main Fields: Systems theory; control (93-XX)
SPN2MGM Software Authors: B.R. Haverkort Cited in: 1 Publication (2006) Related Software: MGMtool; MOSEL; ARENA; TELPACK; SPNP; OMNet++ Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)