The Community for Technology Leaders
Petri Nets and Performance Models, IEEE International Workshop on (1999)
Zaragoza, Spain
Sept. 8, 1999 to Sept. 10, 1999
ISSN: 1063-6714
ISBN: 0-7695-0331-4
TABLE OF CONTENTS

Committees (PDF)

pp. ix

Referees (PDF)

pp. x
Invited Talk

Integrated Frameworks for Multi-Level and Multi-Formalism Modeling (Abstract)

William H. Sanders , University of Illinois at Urbana-Champaign
pp. 2
Solution Techniques I

On the Efficient Sequential and Distributed Generation of Very Large Markov Chains from Stochastic Petri Nets (Abstract)

Boudewijn Haverkort , Technische Hochschule Aachen
Alexander Bell , Technische Hochschule Aachen
Henrik Bohnenkamp , Technische Hochschule Aachen
pp. 12

A Data Structure for the Efficient Kronecker Solution of GSPNs (Abstract)

Andrew S. Miner , College of William and Mary
Gianfranco Ciardo , College of William and Mary
pp. 22
Telecommunication Applications

Performance Evaluation of IEEE 802.11 Wireless LANs with Stochastic Petri Nets (Abstract)

Reinhard German , Technische Universit?t Berlin
Armin Heindl , Technische Universit?t Berlin
pp. 44

GSPN Analysis of Dual-Band Mobile Telephony Networks (Abstract)

M. Ajmone Marsan , Politecnico di Torino
M. Sereno , Universit? di Torino,
M. Meo , Politecnico di Torino
pp. 54
Non-Markovian Nets

Fluid Stochastic Petri Nets: An Extended Formalism to Include Non-Markovian Models (Abstract)

M. Gribaudo , Universit? di Torino
A. Bobbio , Universit? del Piemonte Orientale
M. Sereno , Universit? di Torino
pp. 74

Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets (Abstract)

M. Telek , Hiradastechnikai Tanszek
M. Sereno , Universit? di Torino
S. Garg , Lucent Technologies, Bell Laboratories
M. Gribaudo , Universit? di Torino
A. Bobbio , Universit? del Piemonte Orientale
A. Horvath , Hiradastechnikai Tanszek
pp. 82
Manufacturing Applications

Stepwise Refinements of Net Models and Their Place Invariants (Abstract)

W.M. Zuberek , Memorial University of Newfoundland
pp. 92
Solution Techniques II

Implicit Places in Net Systems (Abstract)

J.M. Colom , Universidad de Zaragoza
F. Garcia-Valles , Universidad de Zaragoza
pp. 104

An Efficient Well-Specified Check (Abstract)

William H. Sanders , University of Illinois at Urbana-Champaign
Daniel D. Deavours , University of Illinois at Urbana-Champaign
pp. 124
Formalisms
MAX/PLUS Algebra
Timed Nets I

On Non-Decidability of Reachability for Timed-Arc Petri Nets (Abstract)

Valentin Valero Ruiz , Universidad de Castilla-La Mancha
David de Frutos Escrig , Universidad Complutense de Madrid
Fernando Cuartero Gomez , Universidad de Castilla-La Mancha
pp. 188
Timed Nets II

Checking Time Petri Nets for Linear Duration Properties (Abstract)

Johan Lilius , ?bo Akademi University
Xuandong Li , ?bo Akademi University
pp. 218

Author Index (PDF)

pp. 228
94 ms
(Ver 3.1 (10032016))