default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th PNPM 2001: Aachen, Germany
- Reinhard German, Boudewijn R. Haverkort:
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001. IEEE Computer Society 2001, ISBN 0-7695-1248-8
Invited paper
- Gianfranco Ciardo
:
What a Structural World. 3-16
Application studies
- Marco Ajmone Marsan, Marco Gribaudo, Michela Meo, Matteo Sereno:
On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses. 19-28 - Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale:
Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. 29-38 - Giuliana Franceschinis, Claudio Bertoncello, Guido Bruno, Giorgio Lungo Vaschetti, Antonio Pigozzi:
SWN Models of a Contact Center: a Case Study. 39-48 - Dietmar Tutsch, Joachim Sokol:
Petri Net based Performance Evaluation of USAIA's Bandwidth Partitioning for the Wireless Cell Level. 49-58 - Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen:
Simulation Based Performance Analysis of Web Servers. 59-68
Analysis of Large Models
- Gianfranco Balbo, Steven C. Bruell, Matteo Sereno:
Embedded Processes in Generalized Stochastic Petri Nets. 71-80 - Peter Buchholz, Peter Kemper:
Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. 81-90 - Jörn Freiheit, Armin Zimmermann:
A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets. 91-100 - Andrew S. Miner:
Efficient Solution of GSPNs using canonical Matrix Diagrams. 101-110
Reachability Graph Construction
- Giovanni Chiola, Rubén Carvajal-Schiaffino:
A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors. 113-122
Non-Markovian and Fluid Models
- Simona Bernardi, Gianfranco Balbo:
Concurrent Generalized Petri Nets: Regenerative Conditions. 125-134 - Daniel D. Deavours, William H. Sanders:
The Möbius Execution Policy. 135-144 - Marco Gribaudo, András Horváth:
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques. 145-154 - András Horváth, Miklós Telek:
Time Domain Analysis of NMSPNs with Preemptive Repeat Identical Type Transitions. 155-164 - Rob Jones, Gianfranco Ciardo:
On Phased Delay Stochastic Petri Nets: Definition and an Application. 165-174 - Bruno Tuffin, Louis-Marie Le Ny:
Modeling and Analysis of Threshold Queues with Hysteresis using Stochastic Petri Nets: the Monoclass Case. 175-184
Formal Foundation
- Peter Buchholz:
Equivalence and Aggregation of GSPNs with Labeled Transitions. 187-196 - Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez:
A Comparison of the Expressiveness of SPA and Bounded SPN Models. 197-206 - Hermenegilda Macià, Valentín Valero, David de Frutos-Escrig:
sPBC: A Markovian Extension of Finite Petri box calculus. 207-216
Timed Nets
- Marc Boyer, Michel Diaz:
Multiple Enabledness of Transitions in Petri Nets with Time. 219-228 - Nicolas Rivière, Brigitte Pradin-Chezalviel, Robert Valette:
Reachability and Temporal Conflicts in t-Time Petri Nets. 229-238
Modeling Frameworks and Tools
- Graham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster:
The Möbius Modeling Tool. 241-250 - Daniel D. Deavours, William H. Sanders:
Möbius: Framework and Atomic Models. 251-260
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 2025-12-14 23:09 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:
