• P
  • PNPM
  • 2001
  • Ninth International Workshop on Petri Nets and Performance Models (PNPM '01)
Advanced Search 
Ninth International Workshop on Petri Nets and Performance Models (PNPM '01)
Aachen, Germany
September 11-September 14
ISBN: 0-7695-1248-8
Table of Contents
Invited Talk
Application Studies
G. Franceschinis, Univ. del Piemonte Orientale
C. Bertoncello, Univ. del Piemonte Orientale
G. Bruno, Telecom Italia Lab
G. Lungo Vaschetti, Telecom Italia Lab
A. Pigozzi, Telecom Italia Wireline Services
pp. 0039
Lisa Wells, University of Aarhus
Søren Christensen, University of Aarhus
Lars M. Kristensen, University of Aarhus
Kjeld H. Mortensen, University of Aarhus
pp. 0059
Analysis of Large Models
Reachability Graph Construction
Non-Markovian and Fluid Models
Daniel D. Deavours, University of Illinois at Urbana-Champaign
William H. Sanders, University of Illinois at Urbana-Champaign
pp. 0135
Formal Foundation
J. Hillston, University of Edinburgh
L. Recalde, Universidad de Zaragoza
M. Silva, Universidad de Zaragoza
M. Ribaudo, Universit? di Torino
pp. 0197
Timed Nets
Modeling Frameworks and Tools
Graham Clark, University of Illinois at Urbana-Champaign
Tod Courtney, University of Illinois at Urbana-Champaign
David Daly, University of Illinois at Urbana-Champaign
Dan Deavours, University of Illinois at Urbana-Champaign
Salem Derisavi, University of Illinois at Urbana-Champaign
Jay M. Doyle, University of Illinois at Urbana-Champaign
William H. Sanders, University of Illinois at Urbana-Champaign
Patrick Webster, University of Illinois at Urbana-Champaign
pp. 0241
Daniel D. Deavours, University of Illinois at Urbana-Champaign
William H. Sanders, University of Illinois at Urbana-Champaign
pp. 0251
Usage of this product signifies your acceptance of the Terms of Use.