Research Catalog

Title

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models : June 3-6, 1997, Saint Malo, France / sponsored by the Institut National de Recherche en Informatique et Automatique (INRIA) [and others] ; in cooperation with the IEEE Computer Society, the IFIP W.G. 6.3 and W.G. 7.3, ACM Sigmetrics.

Author

International Workshop on Petri Nets and Performance Models (7th : 1997 : Saint-Malo, France)

Publication

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

Items in the Library & Off-site

Holdings

Details

Additional Authors

Institut national de recherche en informatique et en automatique (France)

Description

ix, 257 pages : illustrations; 28 cm

Alternative Title

• Seventh International Workshop on Petri Nets and Performance Models
• 7th International Workshop on Petri Nets and Performance Models
• Petri Nets and Performance Models
• PNPM '97

Subject

• Petri nets > Congresses
• Machine theory > Congresses

Note

• "IEEE Computer Society order number PR07931"--T.p. verso.
• "IEEE Order Plan catalog number 97TB100128"--T.p. verso.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Invited Talk: Petri Nets for Modeling and Evaluating Deterministic and Stochastic Manufacturing Systems / Jean-Marie Proth -- Aggregation and Disaggregation in Product Form Queueing Petri Nets / F. Bause and P. Buchholz -- GSPN Semantics for Queueing Networks with Blocking / M. Gribaudo and M. Sereno -- Steady-State Analysis of Infinite Stochastic Petri Nets: A Comparing Between the Spectral Expansion and the Matrix-Geometric Method / B. Haverkort and A. Ost -- Invited Talk: Modeling of Hybrid Systems Using Continuous and Hybrid Petri Nets / Rene David -- A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs / A. Heindl and R. German -- New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets / A. Bobbio, A. Puliafito and M. Telek -- Hierarchical Structuring of Superposed GSPNs / P. Buchholz -- Structured Solution of Stochastic DSSP Systems / J. Campos, M. Silva and S. Donatelli --
• Transient Analysis of Superposed GSPNs / P. Kemper -- State Space Construction and Steady-state Solution of GSPNs on a Shared-memory Multiprocessor / S. Allmaier, M. Kowarschik and G. Horton -- Analysis of Large GSPN Models: A Distributed Solution Tool / P. Marenzoni, S. Caselli and G. Conte -- On-the-fly Solution Techniques for Stochastic Petri Nets and Extensions / D. Deavours and W. Sanders -- Performance Evaluation of a Consensus Algorithm with Petri Nets / N. Sergent -- Timed Petri Net Models of Multithreaded Multiprocessor Architectures / R. Govindarajan, F. Suciu and W. Zuberek -- Performance Prediction of a Reconfigurable High Voltage Substation Simulator: A Case Study using SWN / C. Anglano, S. Donatelli and G. Franceschinis [et al.] -- Throughput Approximation of Decision Free Processes Using Decomposition / V. Mertsiotakis and M. Silva --
• Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets / H. Hermanns, U. Herzog and V. Mertsiotakis [et al.] -- Estimation Methods for Stochastic Petri Nets Based on Standardized Time Series / P. Haas -- Time Warp Simulation of Timed Petri Nets: Sensitivity of Adaptive Methods / A. Ferscha and M. Richter -- Discrete-event Simulation of Fluid Stochastic Petri Nets / G. Ciardo, D. Nicol and K. Trivedi -- GSPN Analysis of ABR in ATM LANs / M. Marsan, K. Begain and R. Gaeta [et al.] -- GSPN Models of ATM Switches / M. Marsan and R. Gaeta -- Reliability Analysis of a Redundant Database for UMTS Systems / S. Palazzo, A. Puliafito and M. Scarpa.

ISBN

081867931X

OCLC

ocm37181619

Owning Institutions

Columbia University Libraries