


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














