3. PNPM 1989: Kyoto, Japan

Petri Nets and Performance Models, The Proceedings of the Third International Workshop, PNPM '89, Kyoto, Japan, December 11-13, 1989. IEEE Computer Society 1989, ISBN 0-8186-2001-3 BibTeX

@proceedings{DBLP:conf/pnpm/1989,
  title     = {Petri Nets and Performance Models, The Proceedings of the Third
               International Workshop, PNPM '89, Kyoto, Japan, December 11-13,
               1989},
  booktitle = {PNPM},
  publisher = {IEEE Computer Society},
  year      = {1989},
  isbn      = {0-8186-2001-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Address

Michael K. Molloy: Petri Net Modelling - The Past, the Present, and the Future. 2-9 BibTeX

Performance Analysis Methodologies I

William Henderson, Peter G. Taylor: Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets. 12-18 BibTeX
Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri: GSPN Models of Multiserver Multiqueue Systems. 19-28 BibTeX
Gerard Florin, Stéphane Natkin: Matrix Product Form Solution for Closed Synchronized Queuing Networks. 29-37 BibTeX

New and Extended Models I

Claude Dutheillet, Serge Haddad: Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. 40-49 BibTeX
Giovanni Chiola, Giuliana Franceschinis: Colored GSPN Models and Automatic Symmetry Detection. 50-60 BibTeX
Jonathan Billington: Extensions to Coloured Petri Nets. 61-70 BibTeX

Performance Analysis Methodologies II

William H. Sanders, John F. Meyer: Reduced Base Model Construction Methods for Stochastic Activity Networks. 74-84 BibTeX
Alex Blakemore: The Cost of Eliminating Vanishing Markings from Generalized Stochastic Petri Nets. 85-92 BibTeX
Juan A. Carrasco: Automated Construction of Compound Markov Chains from Generalized Stochastic High-Level Petri Nets. 93-102 BibTeX

Applications I

Harushi Someya, Tsutomu Tashiro, Tomohiro Murata, Norihisa Komoda: Performance Evaluation of Job Operation Flows in Computer Systems by Timed Petri Nets. 104-111 BibTeX
Oliver C. Ibe, Archana Sathaye, Richard C. Howe, Kishor S. Trivedi: Stochastic Petri Net Modeling of VAXcluster System Availability. 112-121 BibTeX
Itsuo Hatono, Norihiro Katoh, Keiichi Yamagata, Hiroyuki Tamura: Modeling of FMS under Uncertainty Using Stochastic Petri Nets. 122-129 BibTeX

Applications II

Peter P. K. Chiu, Y. S. Cheung: Logic Simulation with Interval-Labelled Net Model. 132-141 BibTeX
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi: SPNP: Stochastic Petri Net Package. 142-151 BibTeX
Marco Ajmone Marsan, Gian Paolo Rossi, F. Salvi: A Simulation Model of a Uniform Interface for Layered Protocol Architectures. 152-161 BibTeX

Panel: PNPM Applications

Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo: Panel: Applications of Performance Petri Nets. 164 BibTeX

New and Extended Models II

Jonathan Billington: Many-Sorted High-Level Nets. 166-179 BibTeX
Wlodzimierz M. Zuberek: Performance Evaluation Using Unbounded Timed Petri Nets. 180-186 BibTeX
Steven C. Bruell, Pozung Chen, Gianfranco Balbo: Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets. 187-197 BibTeX

Performance Petri Net Analysis

Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva: Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. 200-209 BibTeX
Javier Campos, Giovanni Chiola, Manuel Silva: Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. 210-220 BibTeX
Hany H. Ammar, S. M. Rezaul Islam: On Bounds for Token Probabilities in a Class of Generalized Stochastic Petri Nets. 221-227 BibTeX

Analysis Models

Guy Juanole, J. L. Roux: On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities. 230-239 BibTeX
Hany H. Ammar, S. M. Rezaul Islam, Su Deng: Performability Analysis of Parallel and Distributed Algorithms. 240-248 BibTeX
Jan Magott, Kamil Skudlarski: Combining Generalized Stochastic Petri Nets and PERT Networks for the Performance Evaluation of Concurrent Progress. 249-256 BibTeX

Petri Net Analysis

Keiko Nakamura, Kiyohiko Nakamura, Atsunobu Ichikawa: A Class of Petri Nets and a Reachability Problem Solvable in Deterministic Polynomial Time. 258-265 BibTeX
Yuh Yaw, Fuin-Law, Wei-De Ju: The Algorithm of a Synthesis Technique for Concurrent Systems. 266-276 BibTeX
Toshimasa Watanabe, Yukata Mizobata, Kenji Onaga: Legal Firing Sequence and Related Problems of Petri Nets. 277-286 BibTeX