Abstract is missing.
- What a Structural WorldGianfranco Ciardo. 3-16 [doi]
- On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet AccessesMarco Ajmone Marsan, Marco Gribaudo, Michela Meo, Matteo Sereno. 19-28 [doi]
- Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri NetAndrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale. 29-38 [doi]
- SWN Models of a Contact Center: a Case StudyGiuliana Franceschinis, Claudio Bertoncello, Guido Bruno, Giorgio Lungo Vaschetti, Antonio Pigozzi. 39-48 [doi]
- Petri Net based Performance Evaluation of USAIA's Bandwidth Partitioning for the Wireless Cell LevelDietmar Tutsch, Joachim Sokol. 49-58 [doi]
- Simulation Based Performance Analysis of Web ServersLisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen. 59-68 [doi]
- Embedded Processes in Generalized Stochastic Petri NetsGianfranco Balbo, Steven C. Bruell, Matteo Sereno. 71-80 [doi]
- Compact Representations of Probability Distributions in the Analysis of Superposed GSPNsPeter Buchholz, Peter Kemper. 81-90 [doi]
- A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri NetsJörn Freiheit, Armin Zimmermann. 91-100 [doi]
- Efficient Solution of GSPNs using canonical Matrix DiagramsAndrew S. Miner. 101-110 [doi]
- A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count VectorsGiovanni Chiola, Rubén Carvajal-Schiaffino. 113-122 [doi]
- Concurrent Generalized Petri Nets: Regenerative ConditionsSimona Bernardi, Gianfranco Balbo. 125-134 [doi]
- The Möbius Execution PolicyDaniel D. Deavours, William H. Sanders. 135-144 [doi]
- Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution TechniquesMarco Gribaudo, András Horváth. 145-154 [doi]
- Time Domain Analysis of NMSPNs with Preemptive Repeat Identical Type TransitionsAndrás Horváth, Miklós Telek. 155-164 [doi]
- On Phased Delay Stochastic Petri Nets: Definition and an ApplicationRob Jones, Gianfranco Ciardo. 165-174 [doi]
- Modeling and Analysis of Threshold Queues with Hysteresis using Stochastic Petri Nets: the Monoclass CaseBruno Tuffin, Louis-Marie Le Ny. 175-184 [doi]
- Equivalence and Aggregation of GSPNs with Labeled TransitionsPeter Buchholz. 187-196 [doi]
- A Comparison of the Expressiveness of SPA and Bounded SPN ModelsJane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva. 197-206 [doi]
- sPBC: A Markovian Extension of Finite Petri box calculusHermenegilda Macià, Valentin Valero, David de Frutos-Escrig. 207-216 [doi]
- Multiple Enabledness of Transitions in Petri Nets with TimeMarc Boyer, Michel Diaz. 219-228 [doi]
- Reachability and Temporal Conflicts in t-Time Petri NetsNicolas Riviere, Brigitte Pradin-Chezalviel, Robert Valette. 229-238 [doi]
- The Möbius Modeling ToolGraham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster. 241-250 [doi]
- Möbius: Framework and Atomic ModelsDaniel D. Deavours, William H. Sanders. 251-260 [doi]