Proceedings. 9th International Workshop on Petri Nets and Performance Models

Transcription

1 Proceedings 9th International Workshop on Petri Nets and Performance Models

2

3 Proceedings 9t h Inter nat i ona I Wo r ks hop on Petri Nets and Performance Models September 2001 Aachen, Germany Financially supported by German Research Association (DFG) T-Nova Deutsche Telekom lnnovationsgesellschaft mbh Siemens AG Munchen, Information and Communication Networks TENOVIS IBM Deutschland GmbH SOCIETY Los Alamitos, California Washington Brussels Tokyo

4 Copyright by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA Other copying, reprint, or republication requests should be addressed to: IEEE Copyrights Manager, IEEE Service Center, 445 Hoes Lane, P.O. Box 133, Piscataway, NJ The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors opinions and, in the interest of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors, the IEEE Computer Society, or the Institute of Electrical and Electronics Engineers, Inc. IEEE Computer Society Order Number PRO 1248 ISBN ISSN IEEE Computer Society Customer Service Center Los Vaqueros Circle P.O. Box 3014 Los Alamitos, CA Tel: Fax: csbooks@computer.org Additional copies may be ordered from: IEEE Service Center 445 Hoes Lane P.O. Box 1331 Piscataway, NJ Tel: Fax: customer-service@ieee.org IEEE Computer Society Asieacific Office Watanabe Bldg., Minami- Aoyama Minato-ku, Tokyo JAPAN Tel: Fax: tokyo.ofc@computer.org Editorial production by A. Denise Williams Cover art production by Alex Torres Cover art design by Henrik Bohnenkamp, RWTH Aachen Printed in the United States of America by The Printing House COMPUTER SOCIETY

5 Table of Contents 9th International Workshop on Petri Nets and Performance Models Message from the Chairs... vii... Conference Organizers... VUI Program Committee... ix Additional Referees... x Invited Talk What a Structural World... 3 G. Ciardo Application Studies On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses M. Marsan, M. Gribaudo, M. Meo, and M. Sereno Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri Net R. Gaeta, A. Bobbio, G. Franceschinis, and L. Portinale SWN Models of a Contact Center: A Case Study G. Franceschinis, C. Bertoncello, G. Bruno, G. Vaschetti, A. Pigozzi Petri Net Based Performance Evaluation of USAIA s Bandwidth Partitioning for the Wireless Cell Level D. Tutsch and J. Sokol Simulation Based Performance Analysis of Web Servers L. Wells, S. Christensen, L. Kristensen, and K. Mortensen - Analysis of Large Models Embedded Processes in Generalized Stochastic Petri Nets G. Balbo, S. Bruell, and M. Sereno Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs P. Buchholz and P. Kemper A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets J. Freiheit and A. Zimmermann Efficient Solution of GSPNs Using Canonical Matrix Diagrams A. Miner V

6 Reachability Graph Construction A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors G. Chiola and R. Carvajal-Schiaffino Non-Markovian and Fluid Models Concurrent Generalized Petri Nets: Regenerative Conditions S. Bernardi and G. Balbo The Mobius Execution Policy D. Deavours and W. Sanders Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique M. Gribaudo and A. Horva'th Time Domain Analysis of NMSPN with PRI Transitions A. Horva'th and M. Telek On Phased Delay Stochastic Petri Nets: Definition and an Application R. Jones and G. Ciardo Modeling and Analysis of Threshold Queues with Hysteresis Using Stochastic Petri Nets: The Monoclass Case B. TuDn and L-M. Le Ny Formal Foundation Equivalence and Aggregation of GSPNs with Labeled Transitions P. Buchholz A Comparison of the Expressiveness of SPA and Bounded SPN Models J. Hillston, L. Recalde, M. Ribaudo, and M. Silva spbc: A Markovian Extension of Finite Petri Box Calculus H. Macia, V. Valero, and D. de Frutos-Escrig Timed Nets Multiple Enabledness of Transitions in Petri Nets with Time M. Boyer and M. Diaz Reachability and Temporal Conflicts in t-time Petri Nets N. Riviere, B. Pradin-Chezalviel, and R. Valette Modeling Frameworks and Tools The Mobius Modeling Tool G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. Doyle, W. Sanders, P. Webster Mobius: Framework and Atomic Models D. Deavours and W. Sanders Author Index vi