The Community for Technology Leaders
Proceedings of the Third International Workshop on Petri Nets and Performance Models (1989)
Kyoto, Japan
Dec. 11, 1989 to Dec. 13, 1989
TABLE OF CONTENTS

Petri net modeling-the past, the present, and the future (PDF)

M.K. Molloy , Hewlett-Packard, Fort Collins, CO, USA
pp. 2-9

Aggregation methods in exact performance analysis of stochastic Petri nets (PDF)

W. Henderson , Dept. of Appl. Math., Adelaide Univ., SA, Australia
pp. 12-18

GSPN models of multiserver multiqueue systems (PDF)

M.A. Marsan , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
pp. 19-28

Matrix product form solution for closed synchronized queuing networks (PDF)

G. Florin , CEDRIC, Paris, France
S. Natkin , CEDRIC, Paris, France
pp. 29-37

Aggregation of states in colored stochastic Petri nets: application to a multiprocessor architecture (PDF)

C. Dutheillet , Lab. MASI/CNRS, Univ. Pierre & Marie Curie, Paris, France
S. Haddad , Lab. MASI/CNRS, Univ. Pierre & Marie Curie, Paris, France
pp. 40-49

Colored GSPN models and automatic symmetry detection (PDF)

G. Chiola , Dipartimento di Inf., Torino Univ., Italy
G. Franceschinis , Dipartimento di Inf., Torino Univ., Italy
pp. 50-60

Extensions to coloured Petri nets (PDF)

J. Billington , Telecom Australia Res. Lab., Clayton North, Vic., Australia
pp. 61-70

Reduced base model construction methods for stochastic activity networks (PDF)

W.H. Sanders , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 74-84

Automated construction of compound Markov chains from generalized stochastic high-level Petri nets (PDF)

J.A. Carasco , Dept. d'Eng. Electron., Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 93-102

Performance evaluation of job operation flows in computer systems by timed Petri nets (PDF)

H. Someya , Hitachi Ltd., Kawasaki, Japan
T. Tashiro , Hitachi Ltd., Kawasaki, Japan
T. Murata , Hitachi Ltd., Kawasaki, Japan
N. Komoda , Hitachi Ltd., Kawasaki, Japan
pp. 104-111

Stochastic Petri net modeling of VAXcluster system availability (PDF)

O.C. Ibe , Digital Equipment Corp., Andover, MA, USA
A. Sathaye , Digital Equipment Corp., Andover, MA, USA
R.C. Howe , Digital Equipment Corp., Andover, MA, USA
pp. 112-121

Modeling of FMS under certainty using stochastic Petri nets-an application to rule-based on-line scheduling (PDF)

I. Hatono , Dept. of Precision Eng., Osaka Univ., Japan
N. Katoh , Dept. of Precision Eng., Osaka Univ., Japan
K. Yamagata , Dept. of Precision Eng., Osaka Univ., Japan
H. Tamura , Dept. of Precision Eng., Osaka Univ., Japan
pp. 122-129

Logic simulation with interval-labelled net model (PDF)

P.P.K. Chiu , Dept. of Electron. Eng., Hong Kong Polytech., Hung Hom, Hong Kong
pp. 132-141

SPNP: stochastic Petri net package (PDF)

G. Ciardo , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
J. Muppala , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
K. Trivedi , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
pp. 142-151

A simulation model of a uniform interface for layered protocol architectures (PDF)

M.A. Marsan , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
G.P. Rossi , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
F. Salvi , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
pp. 152-161

Many-sorted high-level nets (PDF)

J. Billington , Telecom Australia Res. Lab., Clayton North, Vic., Australia
pp. 166-179

Performance evaluation using unbounded timed Petri nets (PDF)

W.M. Zuberek , Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John's, Nfld., Canada
pp. 180-186

Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets (PDF)

P. Chen , Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
S.C. Bruell , Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
pp. 187-197

Tight polynomial bounds for steady-state performance of marked graphs (PDF)

J. Campos , Dept. de Ingenieria Electr. e Inf., Zaragoza Univ., Spain
pp. 200-209

On bounds for token probabilities in a class of generalized stochastic Petri nets (PDF)

S.M.R. Islam , Dept. of Electr. & Comput. Eng., Clarkson Univ., Potsdam, NY, USA
H.H. Ammar , Dept. of Electr. & Comput. Eng., Clarkson Univ., Potsdam, NY, USA
pp. 221-227

Performability analysis of parallel and distributed algorithms (PDF)

H.H. Ammar , Dept. of Electr. & Comput. Eng., Clarkson Univ., Potsdam, NY, USA
S.M.R. Islam , Dept. of Electr. & Comput. Eng., Clarkson Univ., Potsdam, NY, USA
S. Deng , Dept. of Electr. & Comput. Eng., Clarkson Univ., Potsdam, NY, USA
pp. 240-248

Combining generalized stochastic Petri nets and PERT networks for the performance evaluation of concurrent processes (PDF)

J. Magott , Inst. of Eng. Cybern., Tech. Univ. of Wroclaw, Poland
K. Skudlarski , Inst. of Eng. Cybern., Tech. Univ. of Wroclaw, Poland
pp. 249-256

A class of Petri nets and a reachability problem solvable in deterministic polynomial time (PDF)

K. Nakamura , Graduate Sch. of Sci. & Eng., Tokyo Inst. of Technol., Japan
K. Nakamura , Graduate Sch. of Sci. & Eng., Tokyo Inst. of Technol., Japan
A. Ichikawa , Graduate Sch. of Sci. & Eng., Tokyo Inst. of Technol., Japan
pp. 258-265

The algorithm of a synthesis technique for concurrent systems (PDF)

Y. Yaw , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
Fuin-Law , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
W.-D. Ju , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 266-276

Legal firing sequence and related problems of Petri nets (PDF)

T. Watanabe , Fac. of Eng., Hiroshima Univ., Japan
Y. Mizobata , Fac. of Eng., Hiroshima Univ., Japan
K. Onaga , Fac. of Eng., Hiroshima Univ., Japan
pp. 277-286
80 ms
(Ver 3.3 (11022016))