Giovanni Chiola's older publications (84-94)
Journal publications
More recent publications
-
G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad
-
``Stochastic Well-Formed Coloured Nets for Symmetric Modelling
Applications'',
IEEE Transactions on Computers
vol.42, no.11, pp.1343--1360
(November 1993).
-
G. Chiola and A. Ferscha
-
``Distributed Simulation of Petri Nets'',
IEEE Journal of Parallel and Distributed Technology
vol.1, no.3, pp.33--50 (August 1993).
-
G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte
-
``Generalized Stochastic Petri Nets: A Definition at the Net Level
and its Implications''
IEEE Transactions on Software Engineering
vol.19, no.2, pp.89--107, (February 1993).
-
G. Chiola
-
``Petri Net Modelling of Parallel Computers,''
Journal of Parallel and Distributed Computing
Special Issue on Petri Net Modelling of Parallel Computers,
vol.15, no.3, (July 1992).
-
J. Campos, G. Chiola, J.M. Colom, and M. Silva
-
``Properties and Performance Bounds for Timed Marked Graphs,''
IEEE Transactions on Circuits and Systems---1:
Fundamental Theory and Applications
vol.39, no.5, pp.386--401, (May 1992).
-
G. Balbo, G. Chiola, S.C. Bruell, and P. Chen
-
``An Example of Modelling and Evaluation of a Concurrent Program
using Colored Stochastic Petri Nets:
Lamport's Fast Mutual Exclusion Algorithm,''
IEEE Transactions on Parallel and Distributed System
vol.3, no.2, pp.221--240, (March 1992).
-
J. Campos, G. Chiola, and M. Silva
-
``Properties and Performance Bounds for Closed Free Choice
Synchronized Monoclass Queueing Networks,''
IEEE Transactions on Automatic Control
vol.36, no.12, pp.1368--1382, (December 1991).
-
G. Chiola
-
``A Simulation Framework for Timed and Stochastic Petri Nets,''
International Journal of Computer Simulation
vol.1, no.2, pp.153--168, (1991).
-
M. Ajmone Marsan, G. Balbo, G. Chiola, G. Conte, S. Donatelli,
and G. Franceschinis
-
``An Introduction to Generalized Stochastic Petri Nets,''
International Journal of Microelectronics and Reliability
vol.31, no.4, pp.699-725, (1991).
-
J. Campos, G. Chiola, and M. Silva
-
``Ergodicity and Throughput Bounds for Petri Nets with Unique
Consistent Firing Count Vector,''
IEEE Transactions on Software Engineering
vol.17, no.2, pp.117-125, (February 1991).
-
M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte,
and A. Cumani
-
``The Effect of Execution Policies on the Semantics and Analysis
of Stochastic Petri Nets,''
IEEE Transactions on Software Engineering
vol.15, no.7, pp.832--846, (July 1989).
-
G. Chiola, M. Ajmone Marsan, and G. Balbo
-
``Product Form Solution Techniques for the Performance Analysis
of Multiple Bus Multiprocessor Systems with Non Uniform Memory
References,''
IEEE Transactions on Computers
vol.37, no.5, pp.532--540, (May 1988).
-
M. Ajmone Marsan, G. Chiola, and A. Fumagalli
-
``Timed Petri Net Model for Accurate Performance Analysis
of CSMA/CD Bus LAN,''
Computer Communications
vol.10, no.6, pp.304--312, (December 1987).
-
M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte
-
``Modeling the Software Architecture of a Prototype Parallel Machine,''
ACM Performance Evaluation Review
vol.15, no.1, pp.175-185.
-
M. Ajmone Marsan, G. Balbo, G. Chiola, and S. Donatelli
-
``On the Product Form Solution of a Class of Multiple Bus
Multiprocessor System Models,''
Journal of Systems and Software
vol.6, no.1,2, pp.117--124, (May 1986).
Conference publications
More recent publications
-
G. Chiola, G. Franceschinis, and R. Gaeta
-
``Modeling Symmetric Computer Architectures by Stochastic Well-formed
Nets'',
15th International Conference on Application and Theory of Petri Nets,
Zaragoza, Spain, June 1994.
-
A. Ferscha and G. Chiola
-
``Accelerating the Evaluation of Parallel Program Performance Models
using Distributed Simulation'',
7th Intern. Conference on Modeling Techniques and Tools for
Computer Performance Evaluation, Vienna, Austria,
May 1994.
-
G. Chiola and A. Ferscha
-
``Self-Adaptive Logical Processes:
the Probabilistic Distributed Simulation Protocol'',
27th International Simulation Symposium,
La Jolla, California,
Apr. 1994.
-
G. Chiola
-
``On the Structural and Behavioural Characterization of P/T Nets'',
International Workshop on Petri Nets and Performance Models 1993,
Toulouse, France,
Oct. 1993.
-
G. Chiola, J. Campos, J.M. Colom, M. Silva, and C. Anglano
-
``Operational Analysis of Timed Petri Nets and Application
to the Computation of Performance Bounds'',
International Workshop on Petri Nets and Performance Models 1993,
Toulouse, France,
Oct. 1993.
download a PostScript copy (Copyright © IEEE-CS Press).
-
G. Chiola, J. Campos, J.M. Colom, and M. Silva
-
``Operational Analysis of Timed Petri Nets'',
extended abstract in Proceedings of
PERFORMANCE'93, Roma, Italy, Sep. 1993.
-
G. Chiola and A. Ferscha
-
``Distributed Simulation of Timed Petri Nets: exploiting the net
structure to obtain efficiency'',
14th International Conference on Application and Theory of Petri Nets,
Chicago, Illinois,
June 1993.
-
G. Chiola and A. Ferscha
-
``Exploiting Petri Net Model Structure to Improve
Distributed Simulation'',
26th Hawaii International Computer Science Symposium,
Honolulu, Hawaii, Jan. 1993.
-
G. Chiola, R. Gaeta, and M. Sereno
-
``A Simulation Model of a Double Ring Protocol Based on
Timed Well-formed Coloured Petri Nets'',
Intern. Workshop on Modeling, Analysis and Simulation of Computer
and Telecommunication Systems,
San Diego, California,
Jan. 1993.
-
G. Chiola and R. Gaeta
-
``Efficient Simulation of Parallel Architectures Exploiting
Symmetric Well-formed Petri Net Models'',
1993 SCS Western Multiconference, San Diego, California,
Jan. 1993.
-
G. Chiola, R. Gaeta, and M. Ribaudo
-
``Designing an Efficient Tool for Stochastic Well-formed
Coloured Petri Nets,''
6th Int. Conference on Modeling Techniques and Tools for
Computer Performance Evaluation, Edinburgh, Scotland,
September 1992.
-
G. Chiola, G. Franceschinis, and R. Gaeta
-
``A Symbolic Simulation Mechanism for Well-formed
Coloured Petri Nets,''
25th Annual Simulation Symposium,
Orlando, Florida, April 1992, IEEE-CS Press.
-
G. Chiola
-
``An example of use of Petri net interactive simulation
to teach concurrency,''
1992 SCS Int. Conf. on Simulation in Engineering Education,
Newport Beach, California, January 1992.
-
G. Chiola and G. Franceschinis
-
``A structural colour simplification in {Well-Formed} coloured nets,''
4th Int. Workshop on {Petri} Nets and Performance Models,
Melbourne, Australia, December 1991, IEEE-CS Press.
-
G. Chiola, S. Donatelli, and G. Franceschinis
-
``GSPN versus SPN: what is the actual role of immediate
transitions?,''
4th Int. Workshop on {Petri} Nets and Performance Models,
Melbourne, Australia, December 1991, IEEE-CS Press.
-
I. Akyildiz, G. Chiola, D. Kofman, and H. Korezlioglu
-
``Stochastic Petri Net Modeling of the FDDI Network Protocol,''
11th Int. Symp. on Protocol Specification,
Testing, and Verification, Stockholm, Sweden, June 1991.
-
G. Chiola, S. Donatelli, and G. Franceschinis
-
``On Parametric P/T nets and their Modelling Power,''
12th Int. Conference on Application and Theory of Petri Nets,
Aarhus, Denmarc, June 1991.
-
G. Chiola, S. Donatelli, and G. Franceschinis
-
``Priorities, Inhibitor Arcs, and Concurrency in P/T nets,''
12th Int. Conference on Application and Theory of Petri Nets,
Aarhus, Denmarc, June 1991.
-
G. Chiola and G. Franceschinis
-
``A Condition for Behaviour Preserving Colour Simplification in
Well-Formed Coloured Nets,''
ISCAS'91, IEEE Intern. Symposium on Circuits and Switching,
Singapore, June 1991.
-
G. Chiola
-
``GreatSPN 1.5 Software Architecture,''
5th Int. Conference on Modeling Techniques and Tools for
Computer Performance Evaluation, Torino, Italy, February 1991.
-
G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad
-
``On Well Formed Coloured Nets and their Symbolic Reachability Graph,''
11th Int. Conference on Application and Theory of Petri Nets,
Paris, France, June 1990.
Reprinted in
High-Level Petri Nets. Theory and Application
K. Jensen and G. Rozenberg editors, Springer Verlag, 1991.
-
G. Chiola and G. Franceschinis
-
``A Stochastic Regular Net Model for the Evaluation of a Concurrent
Algorithm,''
Journeé d'etude FIRTECH Systemes et Telematique,
Issy Les Molinaux, France, January 1990.
-
J. Campos, G. Chiola, and M. Silva
-
``Properties and Steady-State Performance Bounds for Petri Nets
with Unique Repetitive Firing Count Vector,''
3rd Intern. Workshop on Petri Nets and Performance Models,
Kyoto, Japan, December 1989, IEEE-CS Press.
-
J. Campos, G. Chiola, J.M. Colom, and M. Silva
-
``Tight Polynomial Bounds for Steady-State Performance of Marked
Graphs,''
3rd Intern. Workshop on Petri Nets and Performance Models,
Kyoto, Japan, December 1989, IEEE-CS Press.
-
G. Chiola and G. Franceschinis
-
``Colored GSPN Models and Automatic Symmetry Detection,''
3rd Int. Workshop on Petri Nets and Performance Models,
Kyoto, Japan, December 1989, IEEE-CS Press.
-
G. Balbo and G. Chiola
-
``Stochastic Petri Net Simulation,''
1989 Winter Simulation Conference,
Washington D.C., USA, December 1989.
-
G. Chiola, S. Donatelli, and G. Soldà
-
```Construction and Validation of a Petri Net Model of a Layered
Protocol Architecture''
IEEE TENCON 89, Bombay, India, November 1989.
-
G. Balbo, G. Chiola, and G. Franceschinis
-
``Stochastic Petri Net Simulation for the Evaluation of Flexible
Manufacturing Systems''
1989 European Simulation Multiconference (SCS),
Roma, Italy, June 1989.
-
M. Ajmone Marsan, G. Balbo, G. Chiola, A. Ciccardi, and G. Conte
-
``Estimating the Average Delay in a Delta Interconnection Network
Operating According to the Cut-Through Packet Switching Technique,''
Int. Seminar on Performance of Distributed and Parallel Systems,
Kyoto, Japan, December 1988.
-
G. Chiola
-
``Compiling Techniques for the Analysis of Stochastic Petri Nets,''
4th Int. Conference on Modeling Techniques and Tools for
Computer Performance Evaluation, Palma de Mallorca, September 1988.
Reprinted in
Modelling Techniques and Tools for Computer Performance
Evaluation
R. Puigjaner and D. Potier editors, pp.11--24, Plenum Press, 1989.
-
G. Chiola, G. Bruno, and T. Demaria
-
``Introducing a Color Formalism into Generalized Stochastic Petri
Nets,''
9th European Workshop on Application and Theory of Petri Nets,
Venezia, Italy, June 1988.
-
M. Ajmone Marsan, G. Chiola, and A. Fumagalli
-
``Improving the Efficiency of the Analysis of DSPN Models,''
9th European Workshop on Application and Theory of Petri Nets,
Venezia, Italy, June 1988.
Reprinted in
Advances on Petri Nets '89 G. Rozenberg editor,
LNCS 424, Springer Verlag, 1990.
-
G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar Roet
-
``On the Efficient Construction of the Tangible Reachability Graph
of Generalized Stochastic Petri Nets,''
2nd Int. Workshop on Petri Nets and Performance Models,
Madison, Wisconsin, August 1987, IEEE-CS Press.
-
M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte
-
``Generalized Stochastic Petri Nets Revisited:
Random Switches and Priorities,''
2nd Int. Workshop on Petri Nets and Performance Models,
Madison, Wisconsin, August 1987, IEEE-CS Press.
-
G. Chiola
-
``Structural Analysis for generalized Stochastic Petri Nets:
Some Results and Prospects,''
8th European Workshop on Application and Theory of Petri Nets,
Zaragoza, Spain, June 1987.
-
M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte
-
``Applicability of Stochastic Petri Nets to Performance Modeling,''
2nd Int. Workshop Applied Mathematics and Performance/Reliability
Models of Computer/Communication Systems, Roma, Italy, May 1987.
Reprinted in
Computer Performance and Reliability
G. Iazeolla, P.J. Courtois, and O.J. Boxma, editors,
North Holland, 1988.
-
G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar Roet
-
``Generalized Stochastic Petri Nets for the Performance Evaluation
of FMS,''
1987 IEEE Intern. Conference on Robotics and Automation,
Raleigh, North Carolina, March 1987.
-
G. Chiola
-
``A Graphical Petri Net Tool for Performance Analysis,''
Third Int. Workshop on Modeling Techniques and
Performance Evaluation, Paris, France, March 1987, AFCET.
-
M. Ajmone Marsan, G. Chiola, and A. Fumagalli
-
``An Accurate Performance Model of CSMA/CD Bus LAN,''
7th European Workshop on Application and Theory of Petri Nets,
Oxford, England, June 1986.
Reprinted in Advances on Petri Nets '87
G. Rozenberg editor,
LNCS 266, pp.146--161, Springer Verlag, 1987.
-
M. Ajmone Marsan and G. Chiola
-
``On Petri Nets with Deterministic and Exponential
Transition Firing Times,''
7th European Workshop on Application and Theory of Petri Nets,
Oxford, England, June 1986.
Reprinted in Advances on Petri Nets '87
G. Rozenberg editor,
LNCS 266, pp.132--145, Springer Verlag, 1987.
-
M. Ajmone Marsan, G. Chiola, and G. Conte
-
``Generalized Stochastic Petri Net Models of Multiprocessors
with Cache Memories,''
First Int. Conference on Supercomputing Systems,
St. Petersburg, Florida, December 1985.
-
G. Chiola
-
``A Software Package for the Analysis of Generalized Stochastic
Petri net Models,''
Intern. Workshop on Timed Petri Nets, Torino, Italy, July 1985,
IEEE-CS Press.
-
. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte,
and A. Cumani
-
``On Petri Nets with Stochastic Timing,''
Intern. Workshop on Timed Petri Nets, Torino, Italy, July 1985,
IEEE-CS Press.
-
M. Ajmone Marsan and G. Chiola
-
``Construction of Generalized Stochastic Petri Net Models
of Bus Oriented Multiprocessor Systems by Stepwise Refinements,''
2nd Int. Conference on Modeling Techniques and Tools
for Performance Analysis, AFCET, Sophia Antipolis, France, June 1985.
-
M. Ajmone Marsan and G. Chiola
-
``Modeling Discrete Event Systems with Stochastic Petri Nets,''
Int. Symposium on Circuits and Switching (ISCAS'85),
Kyoto, Japan, June 1985.
-
M. Ajmone Marsan, G. Balbo, G. Chiola, and S. Donatelli
-
``On the Product Form Solution of a Class of Multiple Bus
Multiprocessor System Models,''
Int. Workshop on Modeling and Performance Evaluation of Parallel
Systems, Grenoble, France, December 1984.
-
M. Ajmone Marsan, G. Chiola, and G. Conte
-
``Performance Models of Task Synchronization in Computer Systems,''
First IEEE Int. Conference on Computers and Applications,
Beijing, Cina, June 1984.
