Message from the Chairs

Committees (PDF)

pp. ix

Referees (PDF)

pp. x

Multi-Workshop on Formal Methods in Performance Evaluation and Applications (PDF)

pp. xi

Invited Talk

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

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 2

PDF

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

PDF

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

Gianfranco Ciardo, College of William and Mary

Andrew S. Miner, College of William and Mary

pp. 22

PDF

On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets (Abstract)

Carlos J. Pérez-Jiménez, Universidad de Zaragoza

Javier Campos, Universidad de Zaragoza

pp. 32

PDF

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

PDF

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

M. Ajmone Marsan, Politecnico di Torino

M. Meo, Politecnico di Torino

M. Sereno, Universit? di Torino,

pp. 54

PDF

Non-Markovian Nets

Formal Relation of Markov Renewal Theory and Supplementary Variables in the Analysis of Stochastic Petri Nets (Abstract)

Reinhard German, Technische Universit?t Berlin

Miklos Telek, Technical University of Budapest

pp. 64

PDF

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

M. Gribaudo, Universit? di Torino

M. Sereno, Universit? di Torino

A. Bobbio, Universit? del Piemonte Orientale

pp. 74

PDF

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

A. Bobbio, Universit? del Piemonte Orientale

S. Garg, Lucent Technologies, Bell Laboratories

M. Gribaudo, Universit? di Torino

M. Sereno, Universit? di Torino

A. Horvath, Hiradastechnikai Tanszek

M. Telek, Hiradastechnikai Tanszek

pp. 82

PDF

Manufacturing Applications

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

W.M. Zuberek, Memorial University of Newfoundland

pp. 92

PDF

Solution Techniques II

Implicit Places in Net Systems (Abstract)

F. Garcia-Valles, Universidad de Zaragoza

J.M. Colom, Universidad de Zaragoza

pp. 104

PDF

Clarifying the Priority Specification of GSPN: Detached Priorities (Abstract)

pp. 114

PDF

An Efficient Well-Specified Check (Abstract)

Daniel D. Deavours, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 124

PDF

Formalisms

A Mapping of Autonomous Net Condition Event Systems to GSPNs (Abstract)

Peter Kemper, Universit?t Dortmund

pp. 136

PDF

Exploiting Petri Nets to Support Fault Tree Based Dependability Analysis (Abstract)

Andrea Bobbio

Giuliana Franceschinis

Rossano Gaeta

Luigi Portinale

pp. 146

PDF

MAX/PLUS Algebra

Asymptotic Analysis of Heaps of Pieces and Application to Timed Petri Nets (Abstract)

Stéphane Gaubert, INRIA

Jean Mairesse, LIAFA Universit? Paris 7

pp. 158

PDF

Optimal Control of (min,+) Linear Time-Varying Systems (Abstract)

Sebastien Lahaye, LISA

Jean-louis Boimond, LISA

Laurent Hardouin, LISA

pp. 170

PDF

On the Rational Use of Petri Nets, Automata and the Max Algebra for the Optimal Control of DEDS (Abstract)

Edouard Wagneur, Universit? de Nantes and GERAD

Isabel Demongodin, Universit? de Nantes and GERAD

pp. 179

PDF

Timed Nets I

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

Valentin Valero Ruiz, Universidad de Castilla-La Mancha

Fernando Cuartero Gomez, Universidad de Castilla-La Mancha

David de Frutos Escrig, Universidad Complutense de Madrid

pp. 188

PDF

Timed Nets II

Non Equivalence between Time Petri Nets and Time Stream Petri Nets (Abstract)

Marc Boyer, LAAS/CNRS

Michel Diaz, LAAS/CNRS

pp. 198

PDF

Scenario Durations Characterization of T-Timed Petri Nets Using Linear Logic (Abstract)

B. Pradin-Chezalviel, LAAS-CNRS

R. Valette, LAAS-CNRS

L.A. Kunzle, LAAS-CNRS

pp. 208

PDF

Checking Time Petri Nets for Linear Duration Properties (Abstract)

Xuandong Li, ?bo Akademi University

Johan Lilius, ?bo Akademi University

pp. 218

PDF

Author Index (PDF)

pp. 228