default search action
3rd PNPM 1989: Kyoto, Japan
- Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM 1989, Kyoto, Japan, December 11-13, 1989. IEEE Computer Society 1989, ISBN 0-8186-2001-3
Keynote Address
- Michael K. Molloy:
Petri Net Modelling - The Past, the Present, and the Future. 2-9
Performance Analysis Methodologies I
- William Henderson, Peter G. Taylor:
Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets. 12-18 - Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri:
GSPN Models of Multiserver Multiqueue Systems. 19-28 - Gerard Florin, Stéphane Natkin:
Matrix Product Form Solution for Closed Synchronized Queuing Networks. 29-37
New and Extended Models I
- Claude Dutheillet, Serge Haddad:
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. 40-49 - Giovanni Chiola, Giuliana Franceschinis:
Colored GSPN Models and Automatic Symmetry Detection. 50-60 - Jonathan Billington:
Extensions to Coloured Petri Nets. 61-70
Performance Analysis Methodologies II
- William H. Sanders, John F. Meyer:
Reduced Base Model Construction Methods for Stochastic Activity Networks. 74-84 - Alex Blakemore:
The Cost of Eliminating Vanishing Markings from Generalized Stochastic Petri Nets. 85-92 - Juan A. Carrasco:
Automated Construction of Compound Markov Chains from Generalized Stochastic High-Level Petri Nets. 93-102
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 - Oliver C. Ibe, Archana Sathaye, Richard C. Howe, Kishor S. Trivedi:
Stochastic Petri Net Modeling of VAXcluster System Availability. 112-121 - Itsuo Hatono, Norihiro Katoh, Keiichi Yamagata, Hiroyuki Tamura:
Modeling of FMS under Uncertainty Using Stochastic Petri Nets. 122-129
Applications II
- Peter P. K. Chiu, Paul Y. S. Cheung:
Logic Simulation with Interval-Labelled Net Model. 132-141 - Gianfranco Ciardo
, Jogesh K. Muppala, Kishor S. Trivedi:
SPNP: Stochastic Petri Net Package. 142-151 - Marco Ajmone Marsan, Gian Paolo Rossi, F. Salvi:
A Simulation Model of a Uniform Interface for Layered Protocol Architectures. 152-161
Panel: PNPM Applications
- Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo:
Panel: Applications of Performance Petri Nets. PNPM 1989: 164
New and Extended Models II
- Jonathan Billington:
Many-Sorted High-Level Nets. 166-179 - Wlodzimierz M. Zuberek:
Performance Evaluation Using Unbounded Timed Petri Nets. 180-186 - Steven C. Bruell, Pozung Chen, Gianfranco Balbo:
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets. 187-197
Performance Petri Net Analysis
- Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva Suárez:
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. 200-209 - Javier Campos, Giovanni Chiola, Manuel Silva Suárez:
Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. 210-220 - Hany H. Ammar, S. M. Rezaul Islam:
On Bounds for Token Probabilities in a Class of Generalized Stochastic Petri Nets. 221-227
Analysis Models
- Guy Juanole, J. L. Roux:
On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities. 230-239 - Hany H. Ammar, S. M. Rezaul Islam, Su Deng:
Performability Analysis of Parallel and Distributed Algorithms. 240-248 - Jan Magott, Kamil Skudlarski:
Combining Generalized Stochastic Petri Nets and PERT Networks for the Performance Evaluation of Concurrent Progress. 249-256
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 - Yuh Yaw, Fuin-Law, Wei-De Ju:
The Algorithm of a Synthesis Technique for Concurrent Systems. 266-276 - Toshimasa Watanabe, Yukata Mizobata, Kenji Onaga:
Legal Firing Sequence and Related Problems of Petri Nets. 277-286
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-17 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: