default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th PNPM 1995: Durham, NC, USA
- Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995. IEEE Computer Society 1995, ISBN 0-8186-7210-2
- Gianfranco Balbo:
On the success of stochastic Petri nets. 2-9 - Serge Haddad, Patrice Moreaux:
Evaluation of high level Petri nets by means of aggregation and decomposition. 11-20 - Varsha Mainkar, Kishor S. Trivedi:
Fixed point iteration using stochastic reward nets. 21-30 - Peter Buchholz, Peter Kemper:
Numerical analysis of stochastic marked graph nets. 32-41 - Matteo Sereno:
Approximate mean value analysis technique for non-product form solution stochastic Petri nets: an application to stochastic marked graphs. 42-51 - Peter Kemper:
Numerical analysis of superposed GSPNs. 52-61 - Luai M. Malhis, William H. Sanders, Richard D. Schlichting:
Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks. 63-72 - Manish Madhukar, Michael R. Leuze, Lawrence W. Dowdy:
Petri net model of a dynamically partitioned multiprocessor system. 73-82 - Gianfranco Ciardo
, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki:
Modeling a scalable high-speed interconnect with stochastic Petri nets. 83-92 - Pierre Cubaud:
Performance evaluation of non-Markovian stochastic event graphs. 94-102 - Reinhard German, Dimitris Logothetis, Kishor S. Trivedi:
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches. 103-112 - Andrea Bobbio, Vidyadhar G. Kulkarni, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi:
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets. 113-122 - Ed Brinksma:
Performance and formal design: a process algebraic perspective. 124-125 - Giovanni Chiola:
Characterization of timed well-formed Petri nets behavior by means of occurrence equations. 127-136 - Rossano Gaeta, Giovanni Chiola:
Efficient simulation of SWN models. 137-146 - Marina Ribaudo:
Stochastic Petri net semantics for stochastic process algebras. 148-157 - Susanna Donatelli, Marina Ribaudo, Jane Hillston:
A comparison of performance evaluation process algebra and generalized stochastic Petri nets. 158-168 - Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri:
Giving a net semantics to Markovian process algebra. 169-178 - Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel, Reinhard German:
Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures. 180-190 - Peter J. Haas, Gerald S. Shedler:
One-dependent cycles and passage times in stochastic Petri nets. 191-202 - Angela Di Febbraro, Riccardo Minciardi, Simona Sacone:
Performance optimization of event graphs modeling manufacturing systems. 203-204 - Boudewijn R. Haverkort, Aad P. A. van Moorsel:
Using the probabilistic evaluation tool for the analytical solution of large Markov models. 206-207 - Carl Hugo Lindemann:
Stochastic modeling using DSPNexpress. 208-209 - Reinhard German, Christian Kelling, Armin Zimmermann, Günter Hommel:
TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets. 210-211 - Baopu Liu, A. Robbi:
TiPNet: a graphical tool for timed Petri nets. 212-213 - David M. Nicol, Andrew S. Miner:
The fluid stochastic Petri net simulator. 214-215 - Daniel D. Deavours, W. Douglas Obal II, Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel:
UltraSAN version 3 overview. 216-217 - Erwin M. Thurner:
TOMSPIN-a Tool for Modelling with Stochastic Petri Nets. 218-219 - Jean-Claude Laprie, Mohamed Kaâniche, Karama Kanoun:
Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth. 221-230 - Marco A. Escalante, Nikitas J. Dimopoulos, Dilyan Gyuroff, Hausi A. Müller:
Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs. 232-240 - Stefan Greiner, Antonio Puliafito, Gunter Bolch, Kishor S. Trivedi:
Performance evaluation of dynamic priority operating systems. 241-250 - Marco Tilgner:
An approach to formalize structural decomposition and aggregation for stochastic reward net models. 252-260 - Peter Ziegler, Helena Szczerbicka:
A structure based decomposition approach for GSPN. 261-270
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-10-22 02:20 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:
