Abstract is missing.
- On the success of stochastic Petri netsGianfranco Balbo. 2-9 [doi]
- Evaluation of high level Petri nets by means of aggregation and decompositionSerge Haddad, Patrice Moreaux. 11-20 [doi]
- Fixed point iteration using stochastic reward netsVarsha Mainkar, Kishor S. Trivedi. 21-30 [doi]
- Numerical analysis of stochastic marked graph netsPeter Buchholz, Peter Kemper. 32-41 [doi]
- Approximate mean value analysis technique for non-product form solution stochastic Petri nets: an application to stochastic marked graphsMatteo Sereno. 42-51 [doi]
- Numerical analysis of superposed GSPNsPeter Kemper. 52-61 [doi]
- Numerical evaluation of a group-oriented multicast protocol using stochastic activity networksLuai M. Malhis, William H. Sanders, Richard D. Schlichting. 63-72 [doi]
- Petri net model of a dynamically partitioned multiprocessor systemManish Madhukar, Michael R. Leuze, Lawrence W. Dowdy. 73-82 [doi]
- Modeling a scalable high-speed interconnect with stochastic Petri netsGianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki. 83-92 [doi]
- Performance evaluation of non-Markovian stochastic event graphsPierre Cubaud. 94-102 [doi]
- Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approachesReinhard German, Dimitris Logothetis, Kishor S. Trivedi. 103-112 [doi]
- Preemptive repeat identical transitions in Markov regenerative stochastic Petri netsAndrea Bobbio, Vidyadhar G. Kulkarni, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi. 113-122 [doi]
- Performance and formal design: a process algebraic perspectiveEd Brinksma. 124-125 [doi]
- Characterization of timed well-formed Petri nets behavior by means of occurrence equationsGiovanni Chiola. 127-136 [doi]
- Efficient simulation of SWN modelsRossano Gaeta, Giovanni Chiola. 137-146 [doi]
- Stochastic Petri net semantics for stochastic process algebrasMarina Ribaudo. 148-157 [doi]
- A comparison of performance evaluation process algebra and generalized stochastic Petri netsSusanna Donatelli, Marina Ribaudo, Jane Hillston. 158-168 [doi]
- Giving a net semantics to Markovian process algebraMarco Bernardo, Lorenzo Donatiello, Roberto Gorrieri. 169-178 [doi]
- Algorithms for the generation of state-level representations of stochastic activity networks with general reward structuresMuhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel, Reinhard German. 180-190 [doi]
- One-dependent cycles and passage times in stochastic Petri netsPeter J. Haas, Gerald S. Shedler. 191-202 [doi]
- Performance optimization of event graphs modeling manufacturing systemsAngela Di Febbraro, Riccardo Minciardi, Simona Sacone. 203-204 [doi]
- Using the probabilistic evaluation tool for the analytical solution of large Markov modelsBoudewijn R. Haverkort, Aad P. A. van Moorsel. 206-207 [doi]
- Stochastic modeling using DSPNexpressCarl Hugo Lindemann. 208-209 [doi]
- TimeNET-a toolkit for evaluating non-Markovian stochastic Petri netsReinhard German, Christian Kelling, Armin Zimmermann, Günter Hommel. 210-211 [doi]
- TiPNet: a graphical tool for timed Petri netsBaopu Liu, A. Robbi. 212-213 [doi]
- The fluid stochastic Petri net simulatorDavid M. Nicol, Andrew S. Miner. 214-215 [doi]
- UltraSAN version 3 overviewDaniel D. Deavours, W. Douglas Obal II, Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel. 216-217 [doi]
- TOMSPIN-a Tool for Modelling with Stochastic Petri NetsErwin M. Thurner. 218-219 [doi]
- Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growthJean-Claude Laprie, Mohamed Kaâniche, Karama Kanoun. 221-230 [doi]
- Timing analysis for synthesis of hardware interface controllers using timed signal transition graphsMarco A. Escalante, Nikitas J. Dimopoulos, Dilyan Gyuroff, Hausi A. Müller. 232-240 [doi]
- Performance evaluation of dynamic priority operating systemsStefan Greiner, Antonio Puliafito, Gunter Bolch, Kishor S. Trivedi. 241-250 [doi]
- An approach to formalize structural decomposition and aggregation for stochastic reward net modelsMarco Tilgner. 252-260 [doi]
- A structure based decomposition approach for GSPNPeter Ziegler, Helena Szczerbicka. 261-270 [doi]