FRANCESCHINIS, Giuliana

FRANCESCHINIS, Giuliana  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
A framework to design and solve Markov Decision Well-formed Net models 2007 M. Beccuti; D. Codetta-Raiter; G. Franceschinis; S. Haddad
Computing First Passage Time Distributions in Stochastic Well-Formed Nets 2011 G. Balbo; M. Beccuti; M. De Pierro; G.Franceschinis
DISC-GreatSPN: an Integrated System for Distributed Software Development and Validation 1993 G. Balbo; S. Donatelli; G. Franceschinis; A. Mazzeo; N. Mazzocca; M. Ribaudo; S. Russo
Dynamic simulations of kidney exchanges 2011 M. Beccuti; V. Fragnelli; G. Franceschinis; S. Villa
From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets 2009 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis
Generalized Stochastic Petri Nets for the Performance Evaluation of FMS 1987 G. Balbo; G. Chiola; G. Franceschinis; G. Molinar Roet
Interfaces and Binding in Component Based Development of Formal Models 2009 F. Moscato; V. Vittorini; S. Marrone; M. Iacono; G. Franceschinis; M. Gribaudo
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 2007 M. Beccuti; G. Franceschinis; S. Haddad
Modeling clinical guidelines through Petri Nets 2009 M. Beccuti; A. Bottrighi; G. Franceschinis; S. Montani; P.Terenziani
Modelling Flexible Manufacturing Systems with Generalized Stochastic Petri Nets 1989 G. Balbo; G. Franceschinis
Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures 2008 M. Beccuti; G. Franceschinis; M. Kaaniche; K. Kanoun
Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures 2008 M. Beccuti; G. Franceschinis; M. Kaaniche; K. Kanoun
Multiple abstraction levels in performance analysis of WSN monitoring systems 2009 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis
New solvers for asymmetric systems in GreatSPN 2008 S. Baarir; M. Beccuti; G. Franceschinis
Non deterministic Repairable Fault Trees for computing optimal repair strategy 2008 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis; S. Haddad
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets 1987 G. Balbo; G. Chiola; G. Franceschinis; G. Molinar Roet
Parametric NdRFT for the derivation of optimal repair strategies 2009 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis; S. Haddad.
Probe Automata for Passage Time Specification 2011 E. G. Amparore; M. Beccuti; S. Donatelli; G. Franceschinis
Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach 2009 M. Beccuti; G. Franceschinis; S. Donatelli; S. Chiaradonna; F. Di Giandomenico; P. Lollini; G. Dondossola; F. Garrone
Stochastic Petri Net Simulation for the Evaluation of Flexible Manufacturing Systems 1989 G. Balbo; G. Chiola; G. Franceschinis