Abstract is missing.
- Petri Net Modelling - The Past, the Present, and the FutureMichael K. Molloy. 2-9
- Aggregation Methods in Exact Performance Analyssi of Stochastic Petri NetsWilliam Henderson, Peter G. Taylor. 12-18
- GSPN Models of Multiserver Multiqueue SystemsMarco Ajmone Marsan, Susanna Donatelli, Fabio Neri. 19-28
- Matrix Product Form Solution for Closed Synchronized Queuing NetworksGerard Florin, Stéphane Natkin. 29-37
- Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor ArchitectureClaude Dutheillet, Serge Haddad. 40-49
- Colored GSPN Models and Automatic Symmetry DetectionGiovanni Chiola, Giuliana Franceschinis. 50-60
- Extensions to Coloured Petri NetsJonathan Billington. 61-70
- Reduced Base Model Construction Methods for Stochastic Activity NetworksWilliam H. Sanders, John F. Meyer. 74-84
- The Cost of Eliminating Vanishing Markings from Generalized Stochastic Petri NetsAlex Blakemore. 85-92
- Automated Construction of Compound Markov Chains from Generalized Stochastic High-Level Petri NetsJuan A. Carrasco. 93-102
- Performance Evaluation of Job Operation Flows in Computer Systems by Timed Petri NetsHarushi Someya, Tsutomu Tashiro, Tomohiro Murata, Norihisa Komoda. 104-111
- Stochastic Petri Net Modeling of VAXcluster System AvailabilityOliver C. Ibe, Archana Sathaye, Richard C. Howe, Kishor S. Trivedi. 112-121
- Modeling of FMS under Uncertainty Using Stochastic Petri NetsItsuo Hatono, Norihiro Katoh, Keiichi Yamagata, Hiroyuki Tamura. 122-129
- Logic Simulation with Interval-Labelled Net ModelPeter P. K. Chiu, Y. S. Cheung. 132-141
- SPNP: Stochastic Petri Net PackageGianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi. 142-151
- A Simulation Model of a Uniform Interface for Layered Protocol ArchitecturesMarco Ajmone Marsan, Gian Paolo Rossi, F. Salvi. 152-161
- Panel: Applications of Performance Petri NetsJoanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo. 164
- Many-Sorted High-Level NetsJonathan Billington. 166-179
- Performance Evaluation Using Unbounded Timed Petri NetsWlodzimierz M. Zuberek. 180-186
- Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri NetsSteven C. Bruell, Pozung Chen, Gianfranco Balbo. 187-197
- Tight Polynomial Bounds for Steady-State Performance of Marked GraphsJavier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva. 200-209
- Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count VectorJavier Campos, Giovanni Chiola, Manuel Silva. 210-220
- On Bounds for Token Probabilities in a Class of Generalized Stochastic Petri NetsHany H. Ammar, S. M. Rezaul Islam. 221-227
- On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication ActivitiesGuy Juanole, J. L. Roux. 230-239
- Performability Analysis of Parallel and Distributed AlgorithmsHany H. Ammar, S. M. Rezaul Islam, Su Deng. 240-248
- Combining Generalized Stochastic Petri Nets and PERT Networks for the Performance Evaluation of Concurrent ProgressJan Magott, Kamil Skudlarski. 249-256
- A Class of Petri Nets and a Reachability Problem Solvable in Deterministic Polynomial TimeKeiko Nakamura, Kiyohiko Nakamura, Atsunobu Ichikawa. 258-265
- The Algorithm of a Synthesis Technique for Concurrent SystemsYuh Yaw, Fuin-Law, Wei-De Ju. 266-276
- Legal Firing Sequence and Related Problems of Petri NetsToshimasa Watanabe, Yukata Mizobata, Kenji Onaga. 277-286