Sfoglia per Autore
Generalized Stochastic Petri Nets for the Performance Evaluation of FMS
1987-01-01 G. Balbo; G. Chiola; G. Franceschinis; G. Molinar Roet
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets
1987-01-01 G. Balbo; G. Chiola; G. Franceschinis; G. Molinar Roet
Modelling Flexible Manufacturing Systems with Generalized Stochastic Petri Nets
1989-01-01 G. Balbo; G. Franceschinis
Stochastic Petri Net Simulation for the Evaluation of Flexible Manufacturing Systems
1989-01-01 G. Balbo; G. Chiola; G. Franceschinis
An Introduction to Generalized Stochastic Petri Nets
1991-01-01 M. AJMONE MARSAN; G. BALBO; G. CHIOLA; G. CONTE; S. DONATELLI; G. FRANCESCHINIS
DISC-GreatSPN: an Integrated System for Distributed Software Development and Validation
1993-01-01 G. Balbo; S. Donatelli; G. Franceschinis; A. Mazzeo; N. Mazzocca; M. Ribaudo; S. Russo
Modelling with Generalized Stochastic Petri Nets
1995-01-01 M. Ajmone Marsan; G. Balbo; G. Conte; S. Donatelli; G. Franceschinis
GreatSPN in the new Millenium
2001-01-01 S. BERNARDI; BERTONCELLO C; DONATELLI S; FRANCESCHINIS G; GAETA R; GRIBAUDO M; HORVATH A
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
2003-01-01 ENRIQUE TERUEL; GIULIANA FRANCESCHINIS; MASSIMILIANO DE PIERRO
RRE: a tool for the extraction of non-codingregions surrounding annotated genes fromgenomic datasets
2004-01-01 F. Lazzarato; G. Franceschinis; M. Botta; F. Cordero; R. A. Calogero
A framework to design and solve Markov Decision Well-formed Net models
2007-01-01 M. Beccuti; D. Codetta-Raiter; G. Franceschinis; S. Haddad
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
2007-01-01 M. Beccuti; G. Franceschinis; S. Haddad
Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures
2008-01-01 M. Beccuti; G. Franceschinis; M. Kaaniche; K. Kanoun
New solvers for asymmetric systems in GreatSPN
2008-01-01 S. Baarir; M. Beccuti; G. Franceschinis
Non deterministic Repairable Fault Trees for computing optimal repair strategy
2008-01-01 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis; S. Haddad
Interfaces and Binding in Component Based Development of Formal Models
2009-01-01 F. Moscato; V. Vittorini; S. Marrone; M. Iacono; G. Franceschinis; M. Gribaudo
Multiple abstraction levels in performance analysis of WSN monitoring systems
2009-01-01 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis
Tagged Generalized Stochastic Petri Nets
2009-01-01 G. Balbo; M. De Pierro; G. Franceschinis
The GreatSPN Tool: Recent Enhancements
2009-01-01 Soheib Baarir; M. Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis
From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets
2009-01-01 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile