FRANCESCHINIS, Giuliana

FRANCESCHINIS, Giuliana  

Mostra records
Risultati 1 - 20 di 32 (tempo di esecuzione: 0.042 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
A new symbolic approach for network reliability analysis. 2011 M. Beccuti; S. Donatelli; G. Franceschinis; R. Terruggia
A tool for symbolic manipulation of arc functions in Symmetric Net models 2013 Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis
An Introduction to Generalized Stochastic Petri Nets 1991 M. AJMONE MARSAN; G. BALBO; G. CHIOLA; G. CONTE; S. DONATELLI; G. FRANCESCHINIS
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
ESRG solver for SWN model 2011 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis; S. Haddad
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
GreatSPN in the new Millenium 2001 S. BERNARDI; BERTONCELLO C; DONATELLI S; FRANCESCHINIS G; GAETA R; GRIBAUDO M; HORVATH A
Interfaces and Binding in Component Based Development of Formal Models 2009 F. Moscato; V. Vittorini; S. Marrone; M. Iacono; G. Franceschinis; M. Gribaudo
Lumping partially symmetrical stochastic models 2011 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis; S. Haddad
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 2007 M. Beccuti; G. Franceschinis; S. Haddad
MDWNsolver: a framework to design and solve Markov Decision Petri Nets 2011 M. Beccuti; S. Haddad; G. Franceschinis
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
Modelling with Generalized Stochastic Petri Nets 1995 M. Ajmone Marsan; G. Balbo; G. Conte; S. Donatelli; G. Franceschinis
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