Sessions and activities marked by a star (*) are shared with the Tools'97
conference.
Invited papers
"title to be announced"
Wednesday June 4th, h. 9:30 - 10:30
"title to be announced"
Wednesday June 4th, h. 14:00 - 15:00
"Modeling of Hybrid Systems by Continuous or Hybrid Preti Nets"
Thursday June 5th, h. 8:30 - 9:30
"title to be announced"
Friday June 6th, h. 8:30 - 9:30
Wednesday June 4th, h. 14:00 - 15:30
- "Aggregation and Disaggregation in Product Form Queueing Petri Nets"
- F. Bause
- Informatik IV, Universitaet Dortmund, Germany
- P. Buchholz
- Informatik IV, Universitaet Dortmund, Germany
- "GSPN Semantics for Queueing Networks with Blocking"
- M. Gribaudo
- Dipartimento di Informatica, Università di Torino, Italy
- M. Sereno
- Dipartimento di Informatica, Università di Torino, Italy
- "Steady-State Analysis of Infinite Stochastic Petri Nets: A Comparison
between the Spectral Expansion and the Matrix-Geometric Method"
- B.R. Haverkort
- Department of Computer Science, RWTH-Aachen, Germany
- A. Ost
- Department of Computer Science, RWTH-Aachen, Germany
Thursday June 5th, h. 9:30 - 10:30
- "A Fourth Order Algorithm with Automatic Stepsize Control for the
Transient Analysis of DSPNs"
- A. Heindl
- Technische Universitaet Berlin, Germany
- R. German
- Technische Universitaet Berlin, Germany
- "New Primitives for Interlaced Memory Policies
in Markov Regenerative Stochastic Petri Nets"
- A. Bobbio
- Dipartimento di Informatica, Università di Torino, Italy
- A. Puliafito
- Ist. Informatica e Telecomunicazioni, Università di Catania, Italy
- M. Telek
- Dept. Telecommunications, Tech. University of Budapest, Hungary
Thursday June 5th, h. 11:00 - 12:30
- "Hierarchical Structuring of Superposed GSPNs"
- P. Buchholz
- Informatik IV, Universitaet Dortmund, Germany
- "Structured solution of stochastic DSSP systems"
- J. Campos
- Centro Politecnico Superior, Universidad de Zaragoza, Spain
- S. Donatelli
- Dipartimento di Informatica, Università di Torino, Italy
- M. Silva
- Centro Politecnico Superior, Universidad de Zaragoza, Spain
- "Transient Analysis of Superposed GSPNs"
- P. Kemper
- Informatik IV, Universitaet Dortmund, Germany
Thursday June 5th, h. 14:00 - 15:30
- "State Space Construction and Steady-State Solution of GSPNs
on a Shared-Memory Multiprocessor"
- S.C. Allmaier
- IMMD 3, Universitaet Erlangen-Nuernberg, Germany
- M. Kowarschik
- IMMD 3, Universitaet Erlangen-Nuernberg, Germany
- G. Horton
- IMMD 3, Universitaet Erlangen-Nuernberg, Germany
- "Analysis of Large GSPN Models: a Distributed Solution Tool"
- P. Marenzoni
- Dip. Ingegneria dell'Informazione, Università di Parma, Italy
- S. Caselli
- Dip. Ingegneria dell'Informazione, Università di Parma, Italy
- G. Conte
- Dip. Ingegneria dell'Informazione, Università di Parma, Italy
- "On-the-fly Solution Techniques for Stochastic Petri Nets
and Extensions"
- D.D. Deavours
- CRHC, Univ. Illinois at Urbana C., U.S.A.
- W.H. Sanders
- CRHC, Univ. Illinois at Urbana C., U.S.A.
Thursday June 5th, h. 16:00 - 17:30
- "Performance Evaluation of a Consensus Algorithm with Petri Nets"
- N. Sergent
- Departement d'Informatique, EPFL, Switzerland
- "Timed Petri Net Models of Multithreaded Multiprocessor Architectures"
- G. Ramaswamy
- Dept. Computer Science, Memorial University of Nfld, Canada
- F. Suciu
- Dept. Computer Science, Memorial University of Nfld, Canada
- W.M. Zuberek
- Dept. Computer Science, Memorial University of Nfld, Canada
- "Performance Prediction of a Reconfigurable High Voltage
Substation Simulator: a Case Study using SWN"
- C. Anglano
- Dipartimento di Informatica, Università di Torino, Italy
- O. Botti
- Centro Ricerca in Automatica, ENEL, Italy
- S. Donatelli
- Dipartimento di Informatica, Università di Torino, Italy
- G. Franceschinis
- Dipartimento di Informatica, Università di Torino, Italy
Friday June 6th, h. 9:30 - 10:30
- "Throughput Approximation of Decision Free Processes Using Decomposition"
- V. Mertsiotakis
- IMMD7, Universitaet Erlangen-Nuernberg, Germany
- M. Silva
- Centro Politecnico Superior, Universidad de Zaragoza, Spain
- "Exploiting Stochastic Process Algebra Achievements for
Generalized Stochastic Petri Nets"
- H. Hermanns
- IMMD7, Universitaet Erlangen-Nuernberg, Germany
- U. Herzog
- IMMD7, Universitaet Erlangen-Nuernberg, Germany
- V. Mertsiotakis
- IMMD7, Universitaet Erlangen-Nuernberg, Germany
- M. Rettelbach
- IMMD7, Universitaet Erlangen-Nuernberg, Germany
Friday June 6th, h. 11:00 - 12:30
- "Estimation Methods for Stochastic Petri Nets
Based on Standardized Time Series"
- P.J. Haas
- IBM Research Division, Almaden Research Center, U.S.A.
- "Time Warp Simulation of Timed Petri Nets:
Sensitivity of Adaptive Methods"
- A. Ferscha
- Institut fuer Angewandte Informatik, Universitaet Wien, Austria
- M. Richter
- Institut fuer Angewandte Informatik, Universitaet Wien, Austria
- "Discrete-event Simulation of Fluid Stochastic Petri Nets"
- G. Ciardo
- Dept. Computer Science, College of William and Mary, U.S.A.
- D. Nicol
- Dept. Computer Science, Dartmouth College, U.S.A.
- K.S. Trivedi
- Dept. Electr. and Computer Engin., Duke University, U.S.A.
Friday June 6th, h. 14:00 - 16:30
- "GSPN Analysis of ABR in ATM LANs"
- M. Ajmone Marsan
- Dip. Elettronica, Politecnico di Torino, Italy
- K. Begain
- Dept. Computer Science, Mutah University, Jordan
- R. Gaeta
- Dipartimento di Informatica, Università di Torino, Italy
- M. Telek
- Dept. Telecommunications, Tech. University of Budapest, Hungary
- "GSPN Models of ATM Switches"
- M. Ajmone Marsan
- Dip. Elettronica, Politecnico di Torino, Italy
- R. Gaeta
- Dipartimento di Informatica, Università di Torino, Italy
- "Reliability Analysis of a Redundant Database for UMTS Systems"
- A. Puliafito
- Ist. Informatica e Telecomunicazioni, Università di Catania, Italy
- M. Scarpa
- Dipartimento di Informatica, Università di Torino, Italy
- S. Palazzo
- Ist. Informatica e Telecomunicazioni, Università di Catania, Italy
chiola@disi.unige.it, February 17, 1997
7th Int. Workshop on Petri Nets and Performance Models