FRANCESCHINIS, Giuliana
FRANCESCHINIS, Giuliana
A framework to design and solve Markov Decision Well-formed Net models
2007-01-01 M. Beccuti; D. Codetta-Raiter; G. Franceschinis; S. Haddad
A tool for symbolic manipulation of arc functions in Symmetric Net models
2013-01-01 Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis
Computing First Passage Time Distributions in Stochastic Well-Formed Nets
2011-01-01 G. Balbo; M. Beccuti; M. De Pierro; 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
Dynamic simulations of kidney exchanges
2011-01-01 M. Beccuti; V. Fragnelli; G. Franceschinis; S. Villa
From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets
2009-01-01 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis
Generalized Stochastic Petri Nets for the Performance Evaluation of FMS
1987-01-01 G. Balbo; G. Chiola; G. Franceschinis; G. Molinar Roet
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
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
2007-01-01 M. Beccuti; G. Franceschinis; S. Haddad
Modeling clinical guidelines through Petri Nets
2009-01-01 M. Beccuti; A. Bottrighi; G. Franceschinis; S. Montani; P.Terenziani
Modelling Flexible Manufacturing Systems with Generalized Stochastic Petri Nets
1989-01-01 G. Balbo; G. Franceschinis
Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures
2008-01-01 M. Beccuti; G. Franceschinis; M. Kaaniche; K. Kanoun
Multiple abstraction levels in performance analysis of WSN monitoring systems
2009-01-01 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis
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
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
Parametric NdRFT for the derivation of optimal repair strategies
2009-01-01 M. Beccuti; D. Codetta-Raiteri; G. Franceschinis; S. Haddad.
Probe Automata for Passage Time Specification
2011-01-01 E. G. Amparore; M. Beccuti; S. Donatelli; G. Franceschinis
Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach
2009-01-01 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-01-01 G. Balbo; G. Chiola; G. Franceschinis