Franceschinis, G.

• Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana:
  A High Level Language for Structural Relations in Well-Formed Nets. 2005.

• Franceschinis, Giuliana:
  Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. 2005.

• Franceschinis, Giuliana; Gribaudo, Marco; Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria:
  Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. 2004.

• Raiteri, Daniele Codetta; Iacono, Mauro; Franceschinis, Giuliana; Vittorini, Valeria:
  Repairable Fault Tree for the Automatic Evaluation of Repair Policies. 2004.

• Teruel, Enrique; Franceschinis, Giuliana; de Pierro, Massimiliano:
  Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. 2003.

• Franceschinis, Giuliana; Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola:
  SWN Client-Server Composition Operators in the OsMoSys framework. 2003.

• Bobbio, Andrea; Ciancamerla, Ester; Franceschinis, Giuliana; Gaeta, Rossano; Minichino, Michele; Portinale, Luigi:
  Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. 2002.

• Franceschinis, G.; Bertoncello, C.; Bruno, G.; Vaschetti, G.L.; Pigozzi, A.:
  SWN models of a contact center: a case study. 2001.

• Gaeta, R.; Bobbio, A.; Franceschinis, G.; Portinale, L.:
  Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri Net. 2001.

• Bobbio, Andrea; Franceschinis, Giuliana; Gaeta, Rossano; Portinale, Luigi:
  Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. 2001.

• Ballarini, Paolo; Donatelli, Susanna; Franceschinis, Giuliana:
  Parametric Stochastic Well-Formed Nets and Compositional Modelling. 2000.

• Bobbio, Andrea; Franceschinis, Giuliana; Gaeta, Rossano; Portinale, Luigi:
  Exploiting Petri nets to support fault tree based dependability analysis. 1999.

• Capra, L.; Dutheillet, C.; Franceschinis, G.; Ilie, J.M.:
  Towards performance analysis with partially symmetrical SWN. 1999.

• Franceschinis, G.; Fumagalli, A.; Silinguelli, A.:
  Stochastic colored Petri net models for rainbow optical networks. 1999.

• Teruel, E.; Franceschinis, G.; De Pierro, M.:
  Clarifying the priority specification of GSPN: detached priorities. 1999.

• Donatelli, S.; Franceschinis, G.:
  Modelling and Analysis of distributed Software Using GSPNs. 1998.

• Franceschinis, G.; Fumagalli, A.; Grasso, R.:
  Performance analysis of a WDM bus network based on GSPN models. 1998.

• Franceschinis, G.; Ribaudo, M.:
  Efficient Performance Analysis Techniques for Stochastic Well-formed Nets and Stochastic Process Algebras. 1998.

• Anglano, C.; Donatelli, S.; Franceschinis, G.; Botti, O.:
  Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. 1997.

• Botti, O.; Donatelli, S.; Franceschinis, G.:
  Assessing the performance of multiprocessor architectures through SWN model simulation: a case study in the field of plant automation systems. 1996.

• Donatelli, Susanna; Franceschinis, Giuliana:
  The PSR Methodology: Integrating Hardware and Software Models. 1996.

• Chiola, G.; Franceschinis, G.; Gaeta, R.; Ribaudo, M.:
  GreatSPN-1.7 - graphical editor and analyzer for timed and stochastic Petri nets. 1995.

• Chiola, G.; Franceschinis, G.; Gaeta, R.:
  Modeling Symmetric computer Architectures by SWNs. 1994.

• Donatelli, S.; Franceschinis, G.; Mazzocca, N.; Russo, S.:
  Software Architecture of the EPOCA Integrated Environment. 1994.

• Donatelli, S.; Franceschinis, G.; Russo, S.; Ribaudo, M.:
  Use of GSPNs for Concurrent Software Validation in EPOCA. 1994.

• Franceschinis, Giuliana; Muntz, Richard R.:
  Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets. 1993.

• Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S.:
  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. 1993.

• Balbo, G.; Donatelli, S.; Franceschinis, G.:
  Understanding Parallel Program Behavior through Petri Net Models. 1992.

• Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Conte, G.; Donatelli, S.; Franceschinis, G.:
  An Introduction to Generalized Stochastic Petri Nets. 1991.

• Chiola, Giovanni; Donatelli, Susanna; Franceschinis, Giuliana:
  GSPNs versus SPNs: What is the actual role of immediate transitions?. 1991.

• Chiola, Giovanni; Franceschinis, Giuliana:
  A Structural Colour Simplification in Well-Formed Coloured Nets. 1991.

• Chiola, Giovanni; Donatelli, Susanna; Franceschinis, Guiliana:
  On Parametric P/T Nets and their Modelling Power. 1991.

• Chiola, Giovanni; Donatelli, Susanna; Franceschinis, Guiliana:
  Priorities, Inhibitor Arcs, and Concurrency in P/T Nets. 1991.

• Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Guiliana; Haddad, Serge:
  On Well-Formed Coloured Nets and their Symbolic Reachability Graph. 1990.

• Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S.:
  Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications. 1990.

• Chiola, G.; Franceschinis, G.:
  Colored GSPN Models and Automatic Symmetry Detection. 1990.

• Balbo, G.; Chiola, G.; Franceschinis, G.; Molinar Roet, G.:
  On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. 1987.

• Balbo, G.; Chiola, G.; Franceschinis, G.; Roet, G.M.:
  Generalized Stochastic Petri Nets for the Performance Evaluation of FMS. 1987.

• Codetta-Raiteri, D.; Franceschinis, G.; Gribaudo, M.:
  Defining formalisms and models in the Draw-Net Modeling System. 06.

Back to the Petri Nets Bibliography