Chiola, G.

• Chiola, G.; Carvajal-Schiaffino, R.:
  A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors. 2001.

• Carvajal-Schiaffino, Rubén; Delzanno, Giorgio; Chiola, Giovanni:
  Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. 2001.

• Haddad, S.; Moreaux, P.; Chiola, G.:
  Cox and phase-type distributions in stochastic Petri nets -- efficient derivation of solutions. 1998.

• Bertino, E.; Chiola, G.; Mancini, L.V.:
  Deadlock Detection in the Face of Transaction and Data Dependencies. 1998.

• Chiola, Giovanni:
  Manual and Automatic Exploitation of Symmetries in SPN Models. 1998.

• Chiola, G.:
  Characterization of Timed Well-formed Petri Nets Behavior by Means of Occurrence Equations. 1995.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri nets and Application to the Computation of Performance Bounds. 1995.

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

• Gaeta, R.; Chiola, G.:
  Efficient Simulation of SWN Models. 1995.

• Baccelli, F.; Balbo, G.; Boucherie, R.J.; Campos, J.; Chiola, G.:
  Annotated Bibliography on Stochastic Petri Nets. 1994.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. 1994.

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

• Balbo, G.; Silva, M.; Chiola, G.; Campos, J.; al., et:
  The Timed (Coloured) Petri Net Formalism: Position Paper. 1993.

• Chiola, Giovanni:
  On the Structural and Behavioural Characterization of P/T Nets. 1993.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri Nets and Application to the Computation of Peformance Bounds. 1993.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. 1993.

• Chiola, G.; Ferscha, A.:
  Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency. 1993.

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

• Chiola, G.; Marsan, M. A.; Balbo, G.; Conte, G.:
  Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications. 1993.

• Chiola, G.; Gaeta, R.; Sereno, M.:
  A Simulation Model of a Double Ring Protocol Based on Timed Well-Formed Coloured Petri Nets. 1993.

• Balbo, G.; Chiola, G.; Bruell, S.C.:
  An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm. 1992.

• Chiola, G.:
  A Petri Net Approach for Performance Oriented Parallel Program Design. 1992.

• Campos, J.; Chiola, G.; Colom, J.M.; Silva, M.:
  Properties and Performance Bounds for Timed Marked Graphs. 1992.

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

• Campos, J.; Chiola, G.; Silva, M.:
  Ergodicity and throughput bounds of Petri nets with unique consistent firing count vector. 1991.

• Chiola, G.:
  Simulation Framework for Timed and Stochastic Petri Nets. 1991.

• Campos, J.; Chiola, G.; Silva, M.:
  Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. 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.

• Campos, Javier; Chiola, Giovanni; Silva, Manual:
  Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. 1991.

• Ajmone Marsan, M.; Chiola, G.:
  Improving the Efficiency of the Analysis of DSPN Models. 1990.

• Campos, J.; Chiola, G.; Silva, M.:
  Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. 1990.

• Chiola, G.:
  A Simulation Framework for Timed and Stochastic Petri Nets. 1990.

• Chiola, G.; Donotelli, S.:
  A Framework for Studying Sets of Related Petri Net Models. 1990.

• 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.

• Campos, Javier; Chiola, Giovanni; Colom, José Maria; Silva, Manuel:
  Properties and Performance Bounds for Timed Marked Graphs. 1990.

• Ajmone Marsan, Marco; Balbo, Gianfranco; Bobbio, Andrea; Chiola, Giovanni; Conte, Gianni; Cumani, Aldo:
  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. 1989.

• Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Ciccardi, A.; Conte, G.:
  Estimating the Average Delay in a Delta Interconnection Network Operating According to the Cut-Through Packet Switching Technique. 1989.

• Ajmone Marsan, M.; Chiola, G.; Conte, G.:
  Stochastic Petri Nets as a Tool for the Analysis of High-Performance Distributed Architectures. 1989.

• Balbo, Gianfranco; Chiola, Giovanni:
  Stochastic Petri Net Simulation. 1989.

• Chiola, G.:
  Compiling Techniques for the Analysis of Stochastic Petri Nets. 1989.

• Chiola, G.; Donatelli, S.; Solda, G.:
  Construction and validation of a Petri net model of a layered protocol architecture. 1989.

• Campos, J.; Chiola, G.; Colom, J.M.; Silva, M.:
  Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. 1989.

• Campos, J.; Chiola, G.; Silva, M.:
  Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. 1989.

• Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Conte, G.:
  Applicability of Stochastic Petri Nets to Performance Modeling. 1988.

• Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Conte, G.:
  Generalized Stochastic Petri Nets Revisited: Random Switches and Priorities. 1987.

• Ajmone Marsan, M.; Chiola, G.:
  On Petri Nets with Deterministic and Exponentially Distributed Firing Times. 1987.

• Ajmone Marsan, M.; Chiola, G.; Fumagalli, A.:
  An Accurate Performance Model of CSMA/CD Bus LAN. 1987.

• 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.

• Ajmone Marsan, M.; Chiola, G.; Fumagalli, A.:
  Timed Petri Net Model for Accurate Performance Analysis of CSMA/CD Bus LASs. 1987.

• Ajmone Marsan, M.; Chiola, G.; Fumagalli, A.:
  Timed Petri Net Models for the Accurate Performance Analysis of CSMA/CD Bus Lans. 1987.

• Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Conte, G.:
  Modelling the Software Architecture of a Prototype Parallel Machine. 1987.

• Chiola, G.:
  A Graphical Petri Net Tool for Performance Analysis. 1987.

• Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Donatelli, S.:
  On the Product-Form Solution of a Class of Multiple-Bus Multiprocessor System Models. 1986.

• Ajmone Marsan, M.; Chiola, G.:
  Construction of Generalized Stochastic Petri Net Models of Bus Oriented Multiprocessor Systems by Step-wise Refinements: A Case Study. 1985.

• Ajmone Marsan, M.; Chiola, G.:
  Modeling Discrete Event Systems with Stochastic Petri Nets. 1985.

• Ajmone Marsan, M.; Chiola, G.; Conte, G.:
  Generalized Stochastic Petri Net Models of Multiprocessors with Cache Memories. 1985.

• Chiola, G.:
  A Software Package for the Analysis of Generalized Stochastic Petri Net Models. 1985.

• Ajmone Marsan, M.; Chiola, G.; Conte, G.:
  Performance Models of Task Synchronization in Computer Systems. 1984.

Back to the Petri Nets Bibliography