Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th PNPM 1991: Melbourne, Australia
- Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, PNPM 1991, Melbourne, Victoria, Australia, December 2-5, 1991. IEEE Computer Society 1991, ISBN 0-8186-2285-7
Keynote Address
- Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri, U. Rubino:
On the Construction of Abstract GSPNS: An Exercise in Modeling. 2-17
Session 1: Extensions to SPNs
- Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis:
GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? 20-31 - Guy Juanole, Youcef Atamna:
Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems. 32-41 - Guenter Klas, Reinhard Matuschka:
Subnetwork Time Distributions as a Means for Multilevel Evaluation of Generalized Stochastic Petri Nets. 42-51
Session 2: SPNs I
- Susanna Donatelli:
Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution. 54-63 - C. Murray Woodside, Yao Li:
Performance Petri Net Analysis of Communications Protocol Software by Delay-Equivalent Aggregation. 64-73 - Gianfranco Ciardo
, Kishor S. Trivedi:
A Decomposition Approach for Stochastic Petri Net Models. 74-83
Session 3: Marked Graphs
- Jan Magott, Kamil Skudlarski:
Estimating the Mean Cycle Time for Stochastic Safe Marked Graphs. 86-94 - Sergio Rajsbaum:
Stochastic Marked Graphs. 95-101
Session 4: Applications I
- Charles Lakos, C. D. Keen:
Modelling Layered Protocols in LOOPN. 106-115 - Zhiwei Xu, Olivier Y. de Vel:
Petri Net Modelling of Occam Programs for Detecting Indeterminacy, Non-termination and Deadlock Anomalies. 116-124 - Takashi Kobayashi, Kenzo Kurihara:
Performance Model of Interference Avoidance Policy Using Stochastic Petri Nets. 125-133
Session 5: Analysis
- Dan C. Marinescu, Mike Beaven, Ryan Stansifer:
A Parallel Algorithm for Computing Invariants of Petri Net Models. 136-143 - Giovanni Chiola, Giuliana Franceschinis:
A Structural Colour Simplification in Well-Formed Coloured Nets. 144-153 - Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero:
Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. 154-163
Session 6: SPN II
- William Henderson, D. Lucic:
Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets. 166-175 - Christoph Lindemann:
An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models. 176-185 - Hany H. Ammar, Su Deng:
Time Warp Simulation of Stochastic Petri Nets. 186-195
Session 7: Research Briefs
- Greg Findlow:
Can Skeletons Really be Used to Detect Deadlocks of Nets? 198-203 - Gerard Florin, Céline Fraize, Stéphane Natkin:
Searching Best Paths to Worst States. 204-209 - Kenji Onaga, Manuel Silva, Toshimasa Watanabe:
On Periodic Schedules for Deterministically Timed Petri Net Systems. 210-215 - Oliver Botti, Fiorella de Cindio:
From Basic to Timed Net Models of Occam: An Application to Program Placement. 216-221
Session 8: DEMON
- Eike Best:
Overview of the Results of the Esprit Basic Research Action DEMON - Design Methods Based on Nets. 224-235 - Hans-Günther Linde-Göers:
Free Choice Simulation of Petri Nets. 236-245
Session 9: Applications II
- Richard Zurawski, Tharam S. Dillon:
Systematic Construction of Functional Abstractions of Petri Net Models of Typical Components of Flexible Manufacturing Systems. 248-257 - Francesco Archetti, Anna Sciomachen, Alexei A. Gaivoronski:
Optimal Control Policies for Automated Storage/Retrieval System Using P N Model and Stochastic Optimization. 258-267 - Heinz Kantz, Kishor S. Trivedi:
Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques. 268-277
Session 10: Applications III
- Stefano Caselli, Gianni Conte:
GSPN Models of Concurrent Architectures with Mesh Topology. 280-289 - Joseph A. Couvillion, Roberto S. Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt:
Performability Modeling with UltraSAN. 290-299 - Boudewijn R. Haverkort:
Approximate Performability Analysis using Generalized Stochastic Petri Nets. 300-309
Session 11: Throughput Bounds
- Javier Campos, Manuel Silva Suárez:
Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks. 312-321 - Javier Campos, Beatriz Sánchez, Manuel Silva Suárez:
Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques. 322-331
a service of 
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-04-19 19:18 CEST 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:
