The Community for Technology Leaders
Petri Nets and Performance Models, IEEE International Workshop on (1997)
St. Malo, FRANCE
June 2, 1997 to June 6, 1997
ISSN: 1063-6714
ISBN: 0-8186-7931-X
TABLE OF CONTENTS
Queueing Systems

Aggregation and Disaggregation in Product Form Queueing Petri Nets (Abstract)

Peter Buchholz , Universitaet Dortmund
Falko Bause , Universitaet Dortmund
pp. 16

GSPN Semantics for Queueing Networks with Blocking (Abstract)

Matteo Sereno , Dipartimento di Informatica, Universita' degli Studi di Torino
Marco Gribaudo , Dipartimento di Informatica, Universita' degli Studi di Torino
pp. 26

Steady-State Analysis of Infinite Stochastic Petri Nets: Comparing the Spectral Expansion and the Matrix-Geometric Method (Abstract)

Boudewijn R. Haverkort , Rheinisch-Westfaelische Technische Hochschule
Alexander Ost , Rheinisch-Westfaelische Technische Hochschule
pp. 36

Modeling of hybrid systems using continuous and hybrid Petri nets (Abstract)

R. David , Lab. d'Autom. de Grenoble, CNRS, St. Martin d'Heres, France
pp. 47
Non-Exponential Timing

A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs (Abstract)

Armin Heindl , TU Berlin, Sekr. Fr 2-2, FB13, PDV
Reinhard German , TU Berlin, Sekr. Fr 2-2, FB13, PDV
pp. 60

New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets (Abstract)

Antonio Puliafito , (1) Dipartimento di Informatica, Universita' di Torino (2) Istituto di Informatica, Universita' di Catania} (3) Department of Telecommunications, Technical University of Budapest
Miklos Telek , (1) Dipartimento di Informatica, Universita' di Torino (2) Istituto di Informatica, Universita' di Catania} (3) Department of Telecommunications, Technical University of Budapest
Andrea Bobbio , (1) Dipartimento di Informatica, Universita' di Torino (2) Istituto di Informatica, Universita' di Catania} (3) Department of Telecommunications, Technical University of Budapest
pp. 70
Solution Techniques 1

Hierarchical Structuring of Superposed GSPNs (Abstract)

Peter Buchholz , University of Dortmund
pp. 81

Transient Analysis of Superposed GSPNs (Abstract)

Peter Kemper , Universitaet Dortmund
pp. 101
Solution Techniques 2

State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor (Abstract)

G. Horton , Universitaet Erlangen-Nuernberg
S. C. Allmaier , Universitaet Erlangen-Nuernberg
M. Kowarschik , Universitaet Erlangen-Nuernberg
pp. 112

Analysis of large GSPN models: a distributed solution tool (Abstract)

S. Caselli , Dipartimento di Ingegneria dell'Inf., Parma Univ., Italy
P. Marenzoni , Dipartimento di Ingegneria dell'Inf., Parma Univ., Italy
G. Conte , Dipartimento di Ingegneria dell'Inf., Parma Univ., Italy
pp. 122

"On-the-fly" Soltuion Techniques for Stochastic Petri Nets and Extensions (Abstract)

Daniel D. Deavours , Center for Reliable and High-Performance Computing
William H. Sanders , Center for Reliable and High-Performance Computing
pp. 132
Computer Science Applications

Performance Evaluation of a Consensus Algorithm with Petri Nets (Abstract)

Nicole Sergent , Ecole Polytechnique FTdTrale de Lausanne
pp. 143

Timed Petri net models of multithreaded multiprocessor architectures (Abstract)

W.M. Zuberek , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
F. Suciu , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
R. Govindarajan , Supercomput. Educ. & Res. Centre, Indian Inst. of Sci., Bangalore, India
pp. 153
Process Algebra

Throughput Approximation of Decision Free Processes Using Decomposition (Abstract)

Manuel Silva , Universidad de Zaragoza
Vassilis Mertsiotakis , Universitaet Erlangen-Nuernberg
pp. 174

Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets (Abstract)

Vassilis Mertsiotakis , Universitaet Erlangen-Nuernberg
Michael Rettelbach , Universitaet Erlangen-Nuernberg
Ulrich Herzog , Universitaet Erlangen-Nuernberg
Holger Hermanns , Universitaet Erlangen-Nuernberg
pp. 183
Simulation

Time Warp Simulation of Timed Petri Nets Sensitivity of Adaptive Methods (Abstract)

Alois Ferscha , Institut Angewandte Informatik
Michael Richter , Institut Angewandte Informatik
pp. 205

Discrete-event simulation of fluid stochastic Petri nets (Abstract)

David Nicol , Dartmouth College
Gianfranco Ciardo , College of William and Mary
Kishor S. Trivedi , Duke University
pp. 217
Telecommunication Applications

GSPN Analysis of ABR in ATM LANs (Abstract)

Marco Ajmone Marsan , Dipartimento di Elettronica
Rossano Gaeta , Universita' di Torino
Khalid Begain , Mu'tah University
Miklos Telek , Technical University of Budapest
pp. 227

GSPN models of ATM switches (Abstract)

M.A. Marsan , Dipartimento di Elettronica, Politecnico di Torino, Italy
R. Gaeta , Dipartimento di Elettronica, Politecnico di Torino, Italy
pp. 237

Reliability Analysis of a Redundant Database for UMTS Systems (Abstract)

S. Palazzo , (1) Istituto di Informatica e Telecomunicazioni (2) Dipartimento di Informatica
A. Puliafito , (1) Istituto di Informatica e Telecomunicazioni (2) Dipartimento di Informatica
M. Scarpa , (1) Istituto di Informatica e Telecomunicazioni (2) Dipartimento di Informatica
pp. 247

Author Index (PDF)

pp. 257
81 ms
(Ver 3.1 (10032016))