The Community for Technology Leaders
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)
Melbourne, Victoria, Australia
Dec. 2, 1991 to Dec. 5, 1991
ISBN: 0-8186-2285-7
TABLE OF CONTENTS

Exact results in the aggregation and disaggregation of stochastic Petri nets (PDF)

W. Henderson , Dept. of Appl. Math., Adelaide Univ., SA, Australia
D. Lucic , Dept. of Appl. Math., Adelaide Univ., SA, Australia
pp. 166-175

A structural colour simplification in well-formed coloured nets (PDF)

G. Chiola , Torino Univ., Italy
G. Franceschinis , Torino Univ., Italy
pp. 144-153

A parallel algorithm for computing invariants of Petri net models (PDF)

D.C. Marinescu , Purdue Univ., West Lafayette, IN, USA
M. Beaven , Purdue Univ., West Lafayette, IN, USA
R. Stansifer , Purdue Univ., West Lafayette, IN, USA
pp. 136-143

Performance model of interference avoidance policy using stochastic Petri nets (PDF)

T. Kobayashi , Syst. Dev. Lab., Hitachi Ltd., Kawasaki, Japan
K. Kurihara , Syst. Dev. Lab., Hitachi Ltd., Kawasaki, Japan
pp. 125-133

Modelling layered protocols in LOOPN (PDF)

C.A. Lakos , Dept. of Comput. Sci., Tasmania Univ., Hobart, Tas., Australia
pp. 106-115

Stochastic marked graphs (PDF)

S. Rajsbaum , Inst. de Matematicas, Univ. Nacional Autonoma de Mexico, Mexico City, Mexico
pp. 95-101

Estimating the mean cycle time for stochastic safe marked graphs (PDF)

J. Magott , Tech. Univ. of Wroclaw, Poland
K. Skudlarski , Tech. Univ. of Wroclaw, Poland
pp. 86-94

A decomposition approach for stochastic Petri net models (PDF)

G. Ciardo , Software Productivity Consortium, Herndon, VA, USA
pp. 74-83

Performance Petri net analysis of communications protocol software by delay-equivalent aggregation (PDF)

C.M. Woodside , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
Yao Li , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
pp. 64-73

Subnetwork time distributions as a means for multilevel evaluation of generalized stochastic Petri nets (PDF)

G. Klas , Siemens Corp. R&D, Munich, Germany
R. Matuschka , Siemens Corp. R&D, Munich, Germany
pp. 42-51

Dealing with arbitrary time distributions with the stochastic timed Petri net model-application to queueing systems (PDF)

G. Juanole , Lab. d'Autom. et d'Anal. des Syst. du CNRS, Toulouse, France
Y. Atamna , Lab. d'Autom. et d'Anal. des Syst. du CNRS, Toulouse, France
pp. 32-41

GSPNs versus SPNs: what is the actual role of immediate transitions? (PDF)

G. Chiola , Dipartimento di Inf., Torino Univ., Italy
S. Donatelli , Dipartimento di Inf., Torino Univ., Italy
G. Franceschinis , Dipartimento di Inf., Torino Univ., Italy
pp. 20-31

On the construction of abstract GSPNs: an exercise in modeling (PDF)

M.A. Marsan , Dipartimento di Elettronica, Politecnico di Torino, Italy
pp. 2-17

Throughput lower bounds for Markovian Petri nets: transformation techniques (PDF)

J. Campos , Centro Politecnio Superior Zaragoza Univ., Spain
B. Sanchez , Centro Politecnio Superior Zaragoza Univ., Spain
M. Silva , Centro Politecnio Superior Zaragoza Univ., Spain
pp. 322-331

Throughput upper bounds for Markovian Petri nets: embedded subnets and queueing networks (PDF)

J. Campos , Centro Politecnico Superior, Zaragoza Univ., Spain
M. Silva , Centro Politecnico Superior, Zaragoza Univ., Spain
pp. 312-321

Approximate performability analysis using generalized stochastic Petri nets (PDF)

B.R. Haverkort , Tele-Inf. & Open Syst., Twente Univ., Enschede, Netherlands
pp. 300-309

Performability modeling with UltraSAN (PDF)

J. Couvillion , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
R. Freire , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
R. Johnson , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
W.D. Obal , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
M.A. Qureshi , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
M. Rai , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
W.H. Sanders , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
J.E. Tvedt , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 290-299

GSPN models of concurrent architectures with mesh topology (PDF)

S. Caselli , Dipartimento di Ingegneria dell'Inf., Parma Univ., Italy
G. Conte , Dipartimento di Ingegneria dell'Inf., Parma Univ., Italy
pp. 280-289

Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems (PDF)

R.Z. Zurawski , Dept. of Electr. & Comput. Eng., Swinburne Inst. of Technol., Melbourne, Vic., Australia
pp. 248-257

Free choice simulation of Petri nets (PDF)

H.G. Linde , Inst. fur Inf., Hildesheim Univ., Germany
pp. 236-245

From basic to timed net models of Occam: an application to program placement (PDF)

O. Botti , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
F. De Cindio , Dipartimento di Sci. dell'Inf., Milano Univ., Italy
pp. 216-221

On periodic schedules for deterministically timed Petri net systems (PDF)

K. Onaga , Dept. of Circuits & Syst., Hiroshima Univ., Japan
pp. 210-215

Searching best paths to worst states (PDF)

G. Florin , CEDRIC, Paris, France
C. Fraize , CEDRIC, Paris, France
S. Natkin , CEDRIC, Paris, France
pp. 204-209

Can skeletons really be used to detect deadlocks of nets? (PDF)

G. Findlow , Telecom Australia Res. Labs., Clayton North, Vic., Australia
pp. 198-203

Time warp simulation of stochastic Petri nets (PDF)

H.H. Ammar , Dept. of Comput. Eng., West Virginia Univ., Morgantown, WV, USA
pp. 186-195
91 ms
(Ver 3.3 (11022016))