Conference program/ Programme de la conférence

Wesnesday, June 4 / Mercredi 4 juin

08h00 - 09h00 Registration
09h00 - 09h30 Opening session
09h30 - 10h30
 
 
 		 Invited speaker 1
Petri Nets for Modelling and Evaluating Deterministic and Stochastic Manufacturing Systems
Jean-Marie Proth, Inria-Lorraine, France
10h30 - 11h00 Coffee break
Session 1 : Queueing systems   Chairman: H. Beilner
11h00 - 11h30
 		 Aggregation and Disaggregation in Product Form Queueing Petri Nets.
F. Bause and P. Buchholz, Universitaet Dortmund, Germany.
11h30 - 12h00
 		 GSPN Semantics for Queueing Networks with Blocking.
M. Gribaudo and M. Sereno, Università di Torino, Italy.
12h00 - 12h30
 
 		 Steady-State Analysis of Infinite Stochastic Petri Nets: A Comparison between the Spectral Expansion and the Matrix-Geometric Method.
B.R. Haverkort and A. Ost, RWTH-Aachen, Germany.
12h30 - 14h00 Lunch
14h00 - 15h00
 
 		 Invited speaker 2
On performance evaluation of computer systems and communication networks
Luc Coyette, Simulog, France
15h00 - 16h00 Tools presentation 1
16h00 - 16h30 Coffee break
16h30 - 17h30 Tools presentation 2
18h30 Departure to Mont-St-Michel

Thursday, June 5 / Jeudi 5 juin

08h30 - 09h30
 
 		 Invited speaker 3
Modeling of Hybrid Systems Using Continuous and Hybrid Petri Nets
Rene David, INP Grenoble, France
Session 2 : Solutions methods   Chairman: G. Ciardo
09h30 - 10h00
 
 		 A Fourth Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs.
A. Heindl and R. German, Technische Universitaet Berlin, Germany.
10h00 - 10h30
 
 
 		 New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets.
A. Bobbio, Università di Torino, Italy, A. Puliafito, Università di Catania, Italy and M. Telek, Tech. University of Budapest, Hungary.
10h30 - 11h00 Coffee break
Session 3 : Solution Techniques 1   Chairman: A. Ferscha
11h00 - 11h30
 		 Hierarchical Structuring of Superposed GSPNs.
P. Buchholz, Universitaet Dortmund, Germany.
11h30 -12h00
 
 		 Structured solution of stochastic DSSP systems.
J. Campos and M. Silva, Universidad de Zaragoza, Spain, S. Donatelli, Università di Torino, Italy.
12h00 -12h30
 		 Transient Analysis of Superposed GSPNs.
P. Kemper, Universitaet Dortmund, Germany.
12h30 - 14h00 Lunch
Session 4 : Solution Techniques 2   Chairman: W. Zuberek
14h00 - 14h30
 
 
 		 State Space Construction and Steady-State Solution of GSPNs on a Shared-Memory Multiprocessor.
S.C. Allmaier, M. Kowarschik and G. Horton, Universitaet Erlangen-Nuernberg, Germany..
14h30 - 15h00
 		 Analysis of Large GSPN Models: a Distributed Solution Tool.
P. Marenzoni, S. Caselli and G. Conte, Università di Parma, Italy.
15h00 - 15h30
 		 On-the-fly Solution Techniques for Stochastic Petri Nets and Extensions..
D.D. Deavours and W.H. Sanders, Univ. Illinois at Urbana C., U.S.A.
15h30 - 16h00 Coffee break
Session 5 : Computer Science Applications   Chairman: M. Silva
16h00 - 16h30
 		 Performance Evaluation of a Consensus Algorithm with Petri Nets.
N. Sergent, EPFL, Switzerland.
16h30 - 17h00
 
 		 Timed Petri Net Models of Multithreaded Multiprocessor Architectures.
G. Ramaswamy, F. Suciu and W.M. Zuberek, Memorial University of Nfld, Canada.
17h00 - 17h30
 
 
 		 Performance Prediction of a Reconfigurable High Voltage Substation Simulator: a Case Study using SWN.
C. Anglano, S. Donatelli and G. Franceschinis, Università di Torino, Italy and O. Botti, Centro Ricerca in Automatica, ENEL, Italy.
19h30 Banquet

Friday, June 6 / Vendredi 6 juin

08h30 - 09h30
 
 		 Invited speaker 4
Performance Prediction: an Industry Perspective
Peter Utton and Brian Hill, British Telecom, UK
Session 6 : Process Algebra   Chairman: G. Balbo
09h30 - 10h00
 
 
 		 Throughput Approximation of Decision Free Processes Using Decomposition.
V. Mertsiotakis, Universitaet Erlangen-Nuernberg, Germany and M. Silva, Universidad de Zaragoza, Spain.
10h00 - 10h30
 
 
 		 Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets.
H. Hermanns, U. Herzog, V. Mertsiotakis and M. Rettelbach, Universitaet Erlangen-Nuernberg, Germany.
10h30 - 11h00 Coffee break
Session 7 : Simulation   Chairman: E. De Souza e Silva
11h00 - 11h30
 
 		 Estimation Methods for Stochastic Petri Nets Based on Standardized Time Series.
P.J. Haas, IBM Research Division, Almaden Research Center, USA.
11h30 - 12h00
 
 		 Time Warp Simulation of Timed Petri Nets: Sensitivity of Adaptive Methods.
A. Ferscha and M. Richter, Universitaet Wien, Austria.
12h00 - 12h30
 
 		 Discrete-event Simulation of Fluid Stochastic Petri Nets.
G. Ciardo, College of William and Mary, USA, D. Nicol, Dartmouth College, USA. and K.S. Trivedi, Duke University, USA.
12h30 - 14h00 Lunch
Session 8 : Telecommunication Applications   Chairman: W. Sanders
14h00 - 14h30
 
 		 GSPN Models of ATM Switches.
M. Ajmone Marsan, Politecnico di Torino, Italy and R. Gaeta, Università di Torino, Italy.
14h30 - 15h00
 
 
 		 GSPN Analysis of ABR in ATM LANs.
M. Ajmone Marsan, Politecnico di Torino, Italy, K. Begain, Mutah University, Jordan, R. Gaeta, Università di Torino, Italy and M. Telek, Tech. University of Budapest, Hungary.
15h00 - 15h30
 		 Reliability Analysis of a Redundant Database for UMTS Systems.
A. Puliafito, S. Palazzo, Università di Catania, Italy and M. Scarpa, Università di Torino, Italy.
15h30 - 16h30 Closing session