| 2012 | WSC | Titans talk on "modeling and simulation of complex systems: are petri nets useful?". | Gianfranco Balbo |
| 1994 | SIGMETRICS | Arrival Theorems for Product-Form Stochastic Petri Nets. | Gianfranco Balbo, Steven C. Bruell, Matteo Sereno |
| 1989 | WSC | Stochastic petri net simulation. | Gianfranco Balbo, Giovanni Chiola |
| 1989 | SIGMETRICS | An Example of Validation and Evaluation ofa Concurrent Program: Lamport's Fast Mutual Exclusion Algorithm. | Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen |
| 1987 | ICRA | Generalized stochastic Petri nets for the performance evaluation of FMS. | Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet |
| 1987 | SIGMETRICS | Modeling the Software Architecture of a Prototype Parallel Machine. | Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte |
| 1985 | SIGMETRICS | Modeling Priority Schemes. | Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta |
| 1984 | ICDE | Dynamics Analysis in Database Design. | Gianfranco Balbo, G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito |
| 1983 | SIGMETRICS | A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems. | Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte |
| 1979 | PERFORMANCE | Homogeneous Approximations of General Queueing Networks. | Gianfranco Balbo, Peter J. Denning |