4. PNPM 1991: Melbourne, Australia

Petri Nets and Performance Models, The Proceedings of the Fourth International Workshop, PNPM 91, Melbourne, Australia, December 2-5, 1991. IEEE Computer Society, 1991, ISBN 0-8186-2285-7

Keynote Address

Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri, U. Rubino: On the Construction of Abstract GSPNS: An Exercise in Modeling. 2-17 BibTeX

Session 1: Extensions to SPNs

Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis: GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? 20-31 BibTeX
Guy Juanole, Youcef Atamna: Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems. 32-41 BibTeX
Guenter Klas, Reinhard Matuschka: Subnetwork Time Distributions as a Means for Multilevel Evaluation of Generalized Stochastic Petri Nets. 42-51 BibTeX

Session 2: SPNs I

Susanna Donatelli: Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution. 54-63 BibTeX
C. Murray Woodside, Yao Li: Performance Petri Net Analysis of Communications Protocol Software by Delay-Equivalent Aggregation. 64-73 BibTeX
Gianfranco Ciardo, Kishor S. Trivedi: A Decomposition Approach for Stochastic Petri Net Models. 74-83 BibTeX

Session 3: Marked Graphs

Jan Magott, Kamil Skudlarski: Estimating the Mean Cycle Time for Stochastic Safe Marked Graphs. 86-94 BibTeX
Sergio Rajsbaum: Stochastic Marked Graphs. 95-101 BibTeX

Session 4: Applications I

Charles Lakos, C. D. Keen: Modelling Layered Protocols in LOOPN. 106-115 BibTeX
Zhiwei Xu, Olivier Y. de Vel: Petri Net Modelling of Occam Programs for Detecting Indeterminacy, Non-termination and Deadlock Anomalies. 116-124 BibTeX
Takashi Kobayashi, Kenzo Kurihara: Performance Model of Interference Avoidance Policy Using Stochastic Petri Nets. 125-133 BibTeX

Session 5: Analysis

Dan C. Marinescu, Mike Beaven, Ryan Stansifer: A Parallel Algorithm for Computing Invariants of Petri Net Models. 136-143 BibTeX
Giovanni Chiola, Giuliana Franceschinis: A Structural Colour Simplification in Well-Formed Coloured Nets. 144-153 BibTeX
Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero: Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. 154-163 BibTeX

Session 6: SPN II

William Henderson, D. Lucic: Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets. 166-175 BibTeX
Christoph Lindemann: An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models. 176-185 BibTeX
Hany H. Ammar, Su Deng: Time Warp Simulation of Stochastic Petri Nets. 186-195 BibTeX

Session 7: Research Briefs

Greg Findlow: Can Skeletons Really be Used to Detect Deadlocks of Nets? 198-203 BibTeX
Gerard Florin, C. Fraize, Stéphane Natkin: Searching Best Paths to Worst States. 204-209 BibTeX
Kenji Onaga, Manuel Silva, Toshimasa Watanabe: On Periodic Schedules for Deterministically Timed Petri Net Systems. 210-215 BibTeX
Oliver Botti, Fiorella de Cindio: From Basic to Timed Net Models of Occam: An Application to Program Placement. 216-221 BibTeX

Session 8: DEMON

Eike Best: Overview of the Results of the Esprit Basic Research Action DEMON - Design Methods Based on Nets. 224-235 BibTeX
Hans-Günther Linde-Göers: Free Choice Simulation of Petri Nets. 236-245 BibTeX

Session 9: Applications II

Richard Z. Zurawski, Tharam S. Dillon: Systematic Construction of Functional Abstractions of Petri Net Models of Typical Components of Flexible Manufacturing Systems. 248-257 BibTeX
Francesco Archetti, Anna Sciomachen, Alexei A. Gaivoronski: Optimal Control Policies for Automated Storage/Retrieval System Using P N Model and Stochastic Optimization. 258-267 BibTeX
Heinz Kantz, Kishor S. Trivedi: Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques. 268-277 BibTeX

Session 10: Applications III

Stefano Caselli, Gianni Conte: GSPN Models of Concurrent Architectures with Mesh Topology. 280-289 BibTeX
Joseph A. Couvillion, Roberto Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt: Performability Modeling with UltraSAN. 290-299 BibTeX
Boudewijn R. Haverkort: Approximate Performability Analysis using Generalized Stochastic Petri Nets. 300-309 BibTeX

Session 11: Throughput Bounds

Javier Campos, Manuel Silva: Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks. 312-321 BibTeX
Javier Campos, Beatriz Sánchez, Manuel Silva: Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques. 322-331 BibTeX