The Community for Technology Leaders
Petri Nets and Performance Models, IEEE International Workshop on (2001)
Aachen, Germany
Sept. 11, 2001 to Sept. 14, 2001
ISBN: 0-7695-1248-8
TABLE OF CONTENTS

A reachability graph construction algorithm based on canonical transition firing count vectors (Abstract)

G. Chiola , Dipt. di Informatica a Sci. dell'Informazione, Genoa Univ., Italy
pp. 113-122
Invited Talk

What a Structural World (Abstract)

Gianfranco Ciardo , College of William and Mary
pp. 0003
Application Studies

On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses (Abstract)

M. Gribaudo , Universit? di Torino
M. Sereno , Universit? di Torino
M.Ajmone Marsan , Politecnico di Torino
M. Meo , Politecnico di Torino
pp. 0019

Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri Net (Abstract)

Luigi Portinale , Universit? del Piemonte Orientale
Giuliana Franceschinis , Universit? del Piemonte Orientale
Rossano Gaeta , Universit? di Torino
Andrea Bobbio , Universit? del Piemonte Orientale
pp. 0029

SWN Models of a Contact Center: A Case Study (Abstract)

G. Franceschinis , Univ. del Piemonte Orientale
A. Pigozzi , Telecom Italia Wireline Services
G. Lungo Vaschetti , Telecom Italia Lab
G. Bruno , Telecom Italia Lab
C. Bertoncello , Univ. del Piemonte Orientale
pp. 0039

Petri Net Based Performance Evaluation of USAIA's Bandwidth Partitioning for the Wireless Cell Level (Abstract)

Joachim Sokol , Siemens AG, Corporate Technology
Dietmar Tutsch , International Computer Science Institute
pp. 0049
Analysis of Large Models

Embedded Processes in Generalized Stochastic Petri Nets (Abstract)

S.C. Bruell , University of Iowa
G. Balbo , Universit? di Torino
M. Sereno , Universit? di Torino
pp. 0071

A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets (Abstract)

Jörn Freiheit , Technische Universit?t Berlin
Armin Zimmermann , Technische Universit?t Berlin
pp. 0091
Reachability Graph Construction
Non-Markovian and Fluid Models

Concurrent Generalized Petri Nets: Regenerative Conditions (Abstract)

Simona Bernardi , Universit? di Torino
Gianfranco Balbo , Universit? di Torino
pp. 0125

The M?bius Execution Policy (Abstract)

William H. Sanders , University of Illinois at Urbana-Champaign
Daniel D. Deavours , University of Illinois at Urbana-Champaign
pp. 0135

Time Domain Analysis of NMSPN with PRI Transitions (Abstract)

András Horváth , Universit? di Torino
Miklós Telek , Technical University of Budapest
pp. 0155

On Phased Delay Stochastic Petri Nets: Definition and an Application (Abstract)

Gianfranco Ciardo , College of William & Mary
Rob Jones , ASRC Aerospace Corporation
pp. 0165
Formal Foundation

Equivalence and Aggregation of GSPNs with Labeled Transitions (Abstract)

Peter Buchholz , Dresden University of Technology
pp. 0187

A Comparison of the Expressiveness of SPA and Bounded SPN Models (Abstract)

M. Silva , Universidad de Zaragoza
M. Ribaudo , Universit? di Torino
L. Recalde , Universidad de Zaragoza
J. Hillston , University of Edinburgh
pp. 0197

sPBC: A Markovian Extension of Finite Petri Box Calculus (Abstract)

Hermenegilda Macià , Univ. Castilla-La Mancha
Valentín Valero , Univ. Castilla-La Mancha
David de Frutos-Escrig , Univ. Complutense
pp. 0207
Timed Nets
Modeling Frameworks and Tools

The M?bius Modeling Tool (Abstract)

William H. Sanders , University of Illinois at Urbana-Champaign
Tod Courtney , University of Illinois at Urbana-Champaign
Jay M. Doyle , University of Illinois at Urbana-Champaign
Dan Deavours , University of Illinois at Urbana-Champaign
Salem Derisavi , University of Illinois at Urbana-Champaign
Graham Clark , University of Illinois at Urbana-Champaign
Patrick Webster , University of Illinois at Urbana-Champaign
David Daly , University of Illinois at Urbana-Champaign
pp. 0241

M?bius: Framework and Atomic Models (Abstract)

Daniel D. Deavours , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
pp. 0251

Author Index (PDF)

pp. 0261
106 ms
(Ver 3.3 (11022016))