2. PNPM 1987: Madison, Wisconsin, USA

Petri Nets and Performance Models, The Proceedings of the Second International Workshop, PNPM '87, Madison, Wisconsin, USA, August 24-26, 1987. IEEE Computer Society 1987, ISBN 0-8186-0796-3 BibTeX

@proceedings{DBLP:conf/pnpm/1987,
  title     = {Petri Nets and Performance Models, The Proceedings of the Second
               International Workshop, PNPM '87, Madison, Wisconsin, USA, August
               24-26, 1987},
  booktitle = {PNPM},
  publisher = {IEEE Computer Society},
  year      = {1987},
  isbn      = {0-8186-0796-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

C. A. Petri: Tools of General Net Theory (abstract). 2 BibTeX

New and Extended Models I

Gerard Florin, Stéphane Natkin: A Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks. 4-13 BibTeX
J. L. Roux, Guy Juanole: Functional and Performance Analysis Using Extended Time Petri Nets. 14-23 BibTeX
Peter J. Haas, Gerald S. Shedler: Stochastic Petri Nets with Simultaneous Transition Firings. 24-33 BibTeX

New and Extended Models II

Chuang Lin, Dan C. Marinescu: On Stochastic High-Level Petri Nets. 34-43 BibTeX
Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte: Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities. 44-53 BibTeX
Gianfranco Ciardo: Toward a Definition of Modeling Power for Stochastic Petri Net Models. 54-62 BibTeX

Applications I

Marco Ajmone Marsan, V. A. Signore: Timed Petri Net Peformance Models of Fiber Optics LAN Architectures. 66-74 BibTeX
K. Kant: Modeling Interprocess Communication in Distributed Programs. 75-83 BibTeX
Joanne Bechta Dugan, Gianfranco Ciardo: Stochastic Petri Net Analysis of a Replicated File System. 84-92 BibTeX

Applications II

Ganesh Gopalakrishnan: Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets. 94-103 BibTeX
Meiliu Lu, Du Zhang, Tadao Murata: Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization. 104-110 BibTeX
William H. Sanders, John F. Meyer: Performability Evaluation of Distributed Systems Using Stochastic Activity Networks. 111-125 BibTeX

Analysis Methods I

Ted H. Szymanski: Tree Network Performance Analysis Using Monte Carlo Simulation of Performance Petri Nets. 126-135 BibTeX
Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet: On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. 136-145 BibTeX
Jan Magott: Performance Evalutaion of Systems of Cyclic Sequential Processes with Mutual Exclusion an Communication by Buffers Using Timed Petri Nets. 146-153 BibTeX

Analysis Methods II

Michael K. Molloy: Structurally Bounded Stochastic Petri Nets. 156-163 BibTeX
Tam-Anh Chu: A Method of Abstraction for Petri Nets. 164-173 BibTeX
Jacques Vautherin: Calculation of Semi-Flows for Pr/T-Systems. 174-183 BibTeX