default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th PNPM 2003: Urbana-Champaign, IL, USA
- Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003. IEEE Computer Society 2003, ISBN 0-7695-1976-8
- Kent Vander Velden, Jean Peccoud:
Modeling networks of molecular interactions in the living cell: structure, dynamics, and applications. 2-8 - Andrew S. Miner:
Computing response time distributions using stochastic Petri nets and matrix diagrams. 10-19 - Clément Delamare, Yvon Gardan, Patrice Moreaux:
Performance evaluation with asynchronously decomposable SWN: implementation and case study. 20-29 - Reinhard German, Marco Gribaudo
, Gábor Horváth, Miklós Telek:
Stationary analysis of FSPNs with mutually dependent discrete and continuous parts. 30-39 - Armin Heindl, Ernst W. Biersack:
Discrete-state and fluid stochastic petri net models for open-loop video-on-demand systems: a comparative case study. 40-49 - Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
SWN client-server composition operators in the OsMoSys framework. 52-61 - Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt:
Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. 62-71 - Simona Bernardi, Susanna Donatelli:
Building Petri net scenarios for dependable automation systems. 72-81 - Falko Bause:
On non-ergodic infinite-state stochastic Petri nets. 84-92 - Matteo Sereno:
Computational algorithms for product-form of competing Markov chains. 93-102 - Gianfranco Balbo, Steven C. Bruell, Matteo Sereno:
On the relations between BCMP queueing networks and product form solution stochastic petri nets. 103-112 - Stefan Haar:
Distributed semi-Markov processes in stochastic T-timed Petri nets. 114-123 - Didier Lime, Olivier H. Roux:
State class timed automaton of a time Petri net. 124-133 - Giacomo Bucci, Luigi Sassoli, Enrico Vicario:
A discrete time model for performance evaluation and correctness verification of real time systems. 134-143
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-10-31 20:20 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:
