Proceedings, the 8th International Workshop on Petri Nets and Performance Models. September 8-10, 1999, Zaragoza, Spain / sponsored by Comisión Interministerial de Ciencia y Tecnología (CICYT), Universidad de Zaragoza ; in cooperation with the IEEE Computer Society, the IFIP W.G. 6.3 and W.G. 7.3, ACM Sigmetrics.

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

Spain. Comisión Interministerial de Ciencia y Tecnología.

IEEE Computer Society.

Conference Name:

International Workshop on Petri Nets and Performance Models (8th : 1999 : Zaragoza, Spain)

Language:

English

Subjects (All):

Petri nets--Congresses.

Petri nets.

Machine theory--Congresses.

Machine theory.

Genre:

Conference papers and proceedings.

Physical Description:

xi, 228 pages : illustrations

Other Title:

Eighth International Workshop on Petri Nets and Performance Models

8th International Workshop on Petri Nets and Performance Models

Petri Nets and Performance Models

PNPM '99

Petri Nets and Performance Models, 1999, proceedings, The 8th International Workshop on.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society Press, [1999]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Multi-Workshop on Formal Methods in Performance Evaluation and Applications xi

Integrated Frameworks for Multi-Level and Multi-Formalism Modeling / W. Sanders 2

Solution Techniques I

On the Efficient Sequential and Distributed Generation of Very Large Markov Chains from Petri Nets / B. Haverkort, H. Bohnenkamp, A. Bell 12

A Data Structure for the Efficient Kronecker Solution of GSPNs / G. Ciardo, A. Miner 22

On State Space Decomposition for the Numerical Analysis of Stochastic Petri nets / C. Perez-Jimenez, J. Campos 32

Telecommunication Applications

Performance Evaluation of IEEE 802.11 Wireless LANs with Stochastic Petri Nets / R. German, A. Heindl 44

GSPN Analysis of Dual-Band Mobile Telephony Networks / M. Ajmone Marsan, M. Meo, M. Sereno 54

Non-Markovian Nets

Formal Relation of Markov Renewal Theory and Supplementary Variables in the Analysis of Stochastic Petri Nets / R. German, M. Telek 64

Fluid Stochastic Petri Nets: An Extended Formalism to Include Non-Markovian Models / M. Gribaudo, M. Sereno, A. Bobbio 74

Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets / A. Bobbio, S. Garg, M. Gribaudo, A. Horvath, M. Sereno, M. Telek 82

Manufacturing Applications

Stepwise Refinements of Net Models and Their Place Invariants / W. Zuberek 92

Solution Techniques II

Implicit Places in Net Systems / F. Garcia-Valles, J. Colom 104

Clarifying the Priority Specification of GSPN: Detached Priorities / E. Teruel, G. Franceschinis, M. De Pierro 114

An Efficient Well-Specified Check / D. Deavours, W. Sanders 124

Formalisms

A Mapping of Autonomous Net Condition Event Systems to GSPNs / P. Kemper 136

Exploiting Petri Nets to Support Fault Tree Based Dependability Analysis / A. Bobbio, G. Franceschinis, R. Gaeta, L. Portinale 146

MAX/PLUS Algebra

Asymptotic Analysis of Heaps of Pieces and Application to Timed Petri Nets / S. Gaubert, J. Mairesse 158

Optimal Control of (min, +) Linear Time-Varying Systems / S. Lahaye, J-L. Boimond, L. Hardouin 170

On the Rational Use of Petri Nets, Automata and the Max Algebra for the Optimal Control of DEDS / E. Wagneur, I. Demongodin 179

Timed Nets I

On Non-Decidability of Reachability for Timed-Arc Petri Nets / V. Valero Ruiz, D. de Frutos Escrig, F. Cuartero Gomez 188

Non Equivalence between Time Petri Nets and Time Stream Petri Nets / M. Boyer, M. Diaz 198

Scenario Durations Characterization of t-timed Petri Nets Using Linear Logic / B. Pradin-Chezalviel, R. Valette, L. Kunzle 208

Checking Time Petri Nets for Linear Duration Properties / X. Li, J. Lilius 218.

Notes:

"IEEE Computer Society order number PR00331"--T.p. verso.

Includes bibliographical references and index.

ISBN:

0769503314

9780769503318

0769503330

9780769503332

OCLC:

42421411

Access Restriction:

Restricted for use by site license.