For the most recent entries see the
Petri Nets Newsletter.
Botti, O.
-
Capra, Lorenzo;
Gaeta, Rossano;
Botti, Oliver:
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation.
1999.
-
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.;
Capra, L.:
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems.
1996.
-
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.
-
Botti, O.;
Capra, L.:
Performance Indices to Characterise Concurrent Applications: Experimenting GSPN Evaluation Techniques in Plant Automation.
1996.
-
Botti, O.;
De Cindio, F.:
Process and resource boxes: an integrated PN performance model for applications and architectures.
1993.
-
Hopkins, Richard;
Hall, Jon;
Botti, Oliver:
A Basic-Net Algebra for Program Semantics and its Application to OCCAM.
1992.
-
Botti, Oliver;
Hall, Jon;
Hopkins, Richard:
A Petri Net Semantics of occam.
1991.
-
Botti, Oliver;
De Cindio, Fiorella:
From Basic to Timed Net Models of Occam: an Application to Program Placement.
1991.
-
Botti, Oliver:
Un modello in reti di Petri per occam-2.
1989/90.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography