×

Found 92 Software Packages (Results 1–92)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Cited in: 149 Publications (1982–2021)
Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; …
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
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: 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)

PNML

Software Authors:   Hillah, L.M.; Kordon, F.; Petrucci, L.; Trèves, N.
Cited in: 27 Publications (1992–2021)
Related Software: Woflan; YAWL; TRANSPATH; SPIN; FAST; SNOOPY; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

Woflan

Software Authors:   Verbeek, Eric; van der Aalst, Wil M.P.
Cited in: 34 Publications (1999–2017)
Related Software: PNML; YAWL; WSAT; XRL/Flower; SPIN; Metagraphs; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-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)

BPEL2oWFN

Software Authors:   Niels Lohmann
Cited in: 25 Publications (2007–2020)
Related Software: COWS; BPEL2PN; Wendy; CADP; Uppaal; Orc; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Petrify

Software Authors:   Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.
Cited 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.)
Cited 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.
Cited 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)

TAPAAL

Software Authors:   Byg, Joakim; Jørgensen, Kenneth Yrke; Srba, Jiří
Cited 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
Cited 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
Cited 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
Cited 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)

Petruchio

Software Authors:   Tim Strazny; Roland Meyer; Sven Linker
Cited 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.
Cited in: 12 Publications (2008–2022)
Related Software: rbminer; Genet; Petrify; ProM; Workcraft; HybridILPMiner; …
Main Fields: Computer science (68-XX)

PEP

Software Authors:   Best, Eike; Bernd Grahlmann
Cited 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
Cited 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)

APNN-Toolbox

Software Authors:   Peter Buchholz; Markus Fischer; Peter Kemper; Carsten Tepper
Cited 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)

M-nets

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

Punf

Software Authors:   Victor Khomenko
Cited in: 10 Publications (2004–2017)
Related Software: Mole; CESAR; MiniSat; Cunf; PEP; KLAIM; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

CASCADE

Software Authors:   Jochen Beister, Gernot Eckstein, Ralf Wollowski
Cited in: 8 Publications (2000–2008)
Related Software: CASCADE
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-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)

SYROCO

Software Authors:   Sibertin-Blanc, C.
Cited in: 8 Publications (1996–2007)
Related Software: Design/CPN; GreatSPN 1.7; GreatSPN; LOOPN++; Eiffel; UMDES; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Systems theory; control (93-XX)

Cell Illustrator

Software Authors:   Matsuno, Hiroshi; Nagasaki, Masao; Miyano, Satoru; University of Tokyo.
Cited in: 5 Publications (2009–2018)
Related Software: SNOOPY; SUNDIALS; CPN Assistant; MAVisto; MrBayes; ViennaRNA; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

COSMOS

Software Authors:   Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.
Cited in: 6 Publications (2013–2021)
Related Software: PRISM; Ymer; VESTA; HASL; Uppaal; Storm; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

DaGen

Software Authors:   Daniel Moldt, Jan Ortmann
Cited 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
Cited in: 6 Publications (2005–2010)
Related Software:
Main Fields: Difference and functional equations (39-XX); Statistics (62-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)

ROSECON

Software Authors:   Z. Suraj; K. Pancerz
Cited in: 5 Publications (2004–2010)
Related Software: LERS; RIONA; daTac; ElemStatLearn; RSBR_; RRIA; …
Main Fields: Computer science (68-XX)

SNAKES

Software Authors:   Franck Pommereau
Cited 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)

Wendy

Software Authors:   Lohmann, Niels; Weinberg, Daniela
Cited in: 3 Publications (2011–2020)
Related Software: BPEL2oWFN; Petrify; Woflan; BPEL2PN; YAWL; Metagraphs; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Workcraft

Software Authors:   Poliakov, Ivan; Sokolov, Danil; Mokhov, Andrey
Cited in: 4 Publications (2011–2022)
Related Software: VipTool; Genet; Petrify; ProM; rbminer; TINA; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Cunf

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

Genet

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

Mole

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

caesar.bdd

Software Authors:   Damien Bergamini; Hubert Garavel; INRIA Rhone-Alpes
Cited 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
Cited 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
Cited in: 4 Publications (2000–2011)
Related Software: UMDES; Uppaal
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

EMiT

Software Authors:   van Dongen, Boudewijn F.; van der Aalst, Wil M.P.
Cited in: 3 Publications (2002–2005)
Related Software: JViews; ProM; PNML; Woflan
Main Fields: Computer science (68-XX)

JAFMAS

Software Authors:   Chauhan, D
Cited in: 3 Publications (2000–2007)
Related Software: CLIPS; DECAF
Main Fields: Computer science (68-XX)

NUPN_INFO

Software Authors:   Hubert Garavel; INRIA Rhone-Alpes
Cited 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.
Cited 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)

PTrie

Software Authors:   Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
Cited in: 4 Publications (2017–2021)
Related Software: TAPAAL; LoLA; zUpdate; AdamMC; NuSMV
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

XRL/Flower

Software Authors:   Verbeek, H.M.W.; Hirnschall, A.; van der Aalst, W.M.P.
Cited 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
Cited in: 3 Publications (2018–2021)
Related Software: OpenSHMEM; GPS; GoFFish; Airflow; Apache Samza; Elasticsearch; …
Main Fields: Computer science (68-XX)

ePNK

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

LOOPN++

Software Authors:   C. Lakos, C. Keen
Cited 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
Cited 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)

PGWFT

Software Authors:   Cao, H., Jin, H., Wu, S., and Tao, Y.
Cited in: 2 Publications (2010–2012)
Related Software: TAO; GeoNames
Main Fields: Computer science (68-XX)

PNBml

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

CoMeta

Software Authors:   Baldan, Paolo; Cocco, Nicoletta; Giummolè, Federica; Simeoni, Marta
Cited in: 1 Publication (2013)
Related Software: KEGG; 4ti2; SNOOPY; MetNetAligner; SubMAP
Main Fields: Biology and other natural sciences (92-XX)

CPN Assistant

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

DP2PN2Solver

Software Authors:   Mauch, Holger
Cited in: 2 Publications (2006–2007)
Related Software: PNML
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ESPNET

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

mist

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

PARTS

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

PIPE

Software Authors:   Bonet P, Llado C M, Puijaner R, Knottenbelt W J.
Cited in: 2 Publications (2013–2017)
Related Software: Yasper; VipTool; Woflan; SPIN; PNML
Main Fields: Computer science (68-XX)

PNTooL

Software Authors:   Huber, M.; Lorenz, Robert
Cited in: 2 Publications (2014–2015)
Related Software: SNAKES
Main Fields: Computer science (68-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)

SyPet

Software Authors:   Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
Cited in: 2 Publications (2017–2020)
Related Software: CodeHint; BlinkFill; FlashMeta; TRANSIT; FlashExtract; Houdini; …
Main Fields: Computer science (68-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)

Yasper

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

Anica

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

CPN-AMI

Software Authors:   –
Cited in: 1 Publication (2003)
Related Software: GreatSPN
Main Fields: Computer science (68-XX)

CpnToUnit

Software Authors:   D. K. Hlomozda
Cited 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
Cited in: 1 Publication (2012)
Related Software: Synet; ProM
Main Fields: Computer science (68-XX)

DRBD

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

FEADS

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

Gadara

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

Gina

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

Grade/CPN

Software Authors:   Westergaard, Michael; Fahland, Dirk; Stahl, Christian
Cited in: 1 Publication (2013)
Related Software: JUnit
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

Hadoop-BAM

Software Authors:   Matti Niemenmaa; Aleksi Kallio; André Schumacher; Petri Klemelä; Eija Korpelainen; Keijo Heljanko
Cited in: 1 Publication (2013)
Related Software: Crossbow; Probalign; k-means++; Jnomics; T-coffee; Kalign; …
Main Fields: Biology and other natural sciences (92-XX)

ImageNetDiff

Software Authors:   Cabac, L., Schlüter, J.
Cited in: 1 Publication (2014)
Related Software: Mulan/Capa; BPEL2PN; Renew
Main Fields: Computer science (68-XX)

ISTA

Software Authors:   Xu, Dianxiang
Cited in: 1 Publication (2011)
Related Software:
Main Fields: Computer science (68-XX)

LBT

Software Authors:   Mauno Rönkkö
Cited in: 1 Publication (2013)
Related Software: lbtt; ltlfilt; autcross; ltlcross; SPOT; SPIN
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LEMMA

Software Authors:   L. Baresi, F. Consorti, M. Di Paola, A. Gargiulo, M. Pezzè
Cited in: 1 Publication (2002)
Related Software: MetaEnv; MetaEdit+; Uppaal
Main Fields: Computer science (68-XX)

MOBY

Software Authors:   H. Fleischhack; U. Lichtblau
Cited in: 1 Publication (2001)
Related Software: Gina; LOOPN++; THORNs
Main Fields: Computer science (68-XX)

Neco

Software Authors:   Lukasz Fronc; Franck Pommereau
Cited in: 1 Publication (2013)
Related Software: SNAKES; neco-spot; SPOT
Main Fields: Computer science (68-XX)

neco-spot

Software Authors:   Fronc, Łukasz; Duret-Lutz, Alexandre
Cited in: 1 Publication (2013)
Related Software: SNAKES; Neco; SPOT
Main Fields: Computer science (68-XX)

PBTK Optimizer

Software Authors:   Edhlund, I.; Macauley, M.; Lee, C.
Cited in: 0 Publications
Related Software: Matplotlib; NumPy; LMFIT; SNOOPY; Python
Main Fields:

PetriFlow

Software Authors:   M. Riesz, Martin Seckár, G. Juhás P
Cited in: 1 Publication (2020)
Related Software: PNlib; Dymola; Modelica
Main Fields: Systems theory; control (93-XX)

PNlib

Software Authors:   Sabrina Proß; Bernhard Bachmann
Cited in: 1 Publication (2020)
Related Software: PetriFlow; Dymola; Modelica
Main Fields: Systems theory; control (93-XX)

PNML2NUPN

Software Authors:   –
Cited in: 1 Publication (2019)
Related Software: LOEWE; ITS-Tools; caesar.bdd; Meddly; PNMC; CAESAR; …
Main Fields: Computer science (68-XX)

RDPS

Software Authors:   Florin, G., Natkin
Cited in: 1 Publication (1993)
Related Software:
Main Fields: Systems theory; control (93-XX)

smfsbSBML

Software Authors:   Wilkinson, Darren J.
Cited in: 1 Publication (2019)
Related Software: SBML-shorthand; scala-smfsb; smfsb; Scala; R
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Biology and other natural sciences (92-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)

StrataGEM

Software Authors:   López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier
Cited in: 0 Publications
Related Software: BEEM; Tom; libDDD; SPIN; ELAN
Main Fields: Computer science (68-XX)

TAO_XML_T

Software Authors:   Maresca, Paolo; Guercio, Angela; Arndt, Tim; Donadio, Pasquale
Cited in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

Demetrix

Software Authors:   dapissarenko
Cited in: 0 Publications
Related Software:
Main Fields:

ESA_PetriNet

Software Authors:   Malika Medjoudj
Cited in: 0 Publications
Related Software:
Main Fields: