The Community for Technology Leaders
Proceedings of 5th International Workshop on Petri Nets and Performance Models (1993)
Toulouse, France
Oct. 19, 1993 to Oct. 22, 1993
ISBN: 0-8186-4250-5
TABLE OF CONTENTS

A general iterative technique for approximate throughput computation of stochastic marked graphs (PDF)

J. Campos , Dept. de Ingenieria Electr. e Inf., Centro Politecnico Superior, Zaragoza Univ., Spain
J.M. Colom , Dept. de Ingenieria Electr. e Inf., Centro Politecnico Superior, Zaragoza Univ., Spain
H. Jungnitz , Dept. de Ingenieria Electr. e Inf., Centro Politecnico Superior, Zaragoza Univ., Spain
M. Silva , Dept. de Ingenieria Electr. e Inf., Centro Politecnico Superior, Zaragoza Univ., Spain
pp. 138-147

Algorithms for product-form stochastic Petri nets-A new approach (PDF)

J.L. Coleman , Applied Maths, Adelaide Univ., SA, Australia
pp. 108-116

Constructive modelling and design basic research within the European QMIPS-project (PDF)

U. Herzog , Friedrich-Alexander Univ. Erlangen-Nuremberg, Germany
pp. 88-95

Conflict sets in colored Petri nets (PDF)

C. Dutheillet , IBP-Lab. MASI, Univ. P. & M. Curie, Paris, France
pp. 76-85

On the structural and behavioural characterization of P/T nets (PDF)

G. Chiola , Dip. di Inf., Univ. degli Studi di Torino, Italy
pp. 66-75

Towards a simplified building of time Petri Nets reachability graph (PDF)

H. Boucheneb , IIE-CNAM, Evry, France
U. Alger , IIE-CNAM, Evry, France
G. Berthelot , IIE-CNAM, Evry, France
pp. 46-47

Definition of the model-"Stochastic timed well formed coloured nets" (PDF)

Y. Atamna , Lab. d'automatique et d'Analyse des Systemes du CNRS, Toulouse, France
pp. 24-33

GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system (PDF)

B. Mazigh , Inst. de REcherche Polytech. de Mulhouse, Univ. de Haute Alsace, France
J. Gresser , Inst. de REcherche Polytech. de Mulhouse, Univ. de Haute Alsace, France
F. Simon , Inst. de REcherche Polytech. de Mulhouse, Univ. de Haute Alsace, France
pp. 290-299

Validation and performance analysis of network algorithms by coloured Petri nets (PDF)

H. Clausen , Dept. of Comput. Sci., Aarhus Univ., Denmark
P.R. Jensen , Dept. of Comput. Sci., Aarhus Univ., Denmark
pp. 280-289

On scalable net modeling of OLTP (PDF)

L. Cherkasova , Hewlett-Packard Labs, Palo Alto, CA, USA
V. Kotov , Hewlett-Packard Labs, Palo Alto, CA, USA
T. Rokicki , Hewlett-Packard Labs, Palo Alto, CA, USA
pp. 270-279

Automated time scale decomposition and analysis of stochastic Petri nets (PDF)

A. Blakemore , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
S.K. Tripathi , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 248-257

Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets (PDF)

C. Anglano , Dip. di Inf., Torino Univ., Italy
S. Donatelli , Dip. di Inf., Torino Univ., Italy
R. Gaeta , Dip. di Inf., Torino Univ., Italy
pp. 226-235

Aggregation and reduction techniques for hierarchical GCSPNs (PDF)

P. Buchholz , Inf. IV, Dortmund Univ., Germany
pp. 216-225

Synthesis of GSPN models for workload mapping on concurrent architectures (PDF)

D. Abbati , Dip. di Ingegneria dell'Inf., Parma Univ., Italy
S. Caselli , Dip. di Ingegneria dell'Inf., Parma Univ., Italy
G. Conte , Dip. di Ingegneria dell'Inf., Parma Univ., Italy
F. Zanichelli , Dip. di Ingegneria dell'Inf., Parma Univ., Italy
pp. 204-215

Sensitivity analysis of Markov regenerative stochastic Petri nets (PDF)

V. Mainkar , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
pp. 180-181

A characterization of the stochastic process underlying a stochastic Petri net (PDF)

G. Ciardo , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
pp. 170-179

Analysis of deterministic and stochastic Petri nets (PDF)

G. Ciardo , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
pp. 160-169

Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets (PDF)

G. Franceschinis , Dip. di Inf., Torino Univ., Italy
R.R. Muntz , Dip. di Inf., Torino Univ., Italy
pp. 148-157
94 ms
(Ver 3.3 (11022016))