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 new symbolic approach for network reliability analysis.
2011-01-01 M. Beccuti; S. Donatelli; G. Franceschinis; R. Terruggia
A tool for symbolic manipulation of arc functions in Symmetric Net models
2013-01-01 Lorenzo Capra; Massimiliano De Pierro; Giuliana Franceschinis
An Introduction to Generalized Stochastic Petri Nets
1991-01-01 M. AJMONE MARSAN; G. BALBO; G. CHIOLA; G. CONTE; S. DONATELLI; G. 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
ESRG solver for SWN model
2011-01-01 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis; S. Haddad
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
GreatSPN in the new Millenium
2001-01-01 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-01-01 F. Moscato; V. Vittorini; S. Marrone; M. Iacono; G. Franceschinis; M. Gribaudo
Lumping partially symmetrical stochastic models
2011-01-01 S. Baarir; M. Beccuti; C. Dutheillet; G. Franceschinis; S. Haddad
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
2007-01-01 M. Beccuti; G. Franceschinis; S. Haddad
MDWNsolver: a framework to design and solve Markov Decision Petri Nets
2011-01-01 M. Beccuti; S. Haddad; G. Franceschinis
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
Modelling with Generalized Stochastic Petri Nets
1995-01-01 M. Ajmone Marsan; G. Balbo; G. Conte; S. Donatelli; 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
| 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 |