Abstract is missing.
- Modeling networks of molecular interactions in the living cell: structure, dynamics, and applicationsKent Vander Velden, Jean Peccoud. 2-8 [doi]
- Computing response time distributions using stochastic Petri nets and matrix diagramsAndrew S. Miner. 10-19 [doi]
- Performance evaluation with asynchronously decomposable SWN: implementation and case studyClément Delamare, Yvon Gardan, Patrice Moreaux. 20-29 [doi]
- Stationary analysis of FSPNs with mutually dependent discrete and continuous partsReinhard German, Marco Gribaudo, Gábor Horváth, Miklós Telek. 30-39 [doi]
- Discrete-state and fluid stochastic petri net models for open-loop video-on-demand systems: a comparative case studyArmin Heindl, Ernst W. Biersack. 40-49 [doi]
- SWN client-server composition operators in the OsMoSys frameworkGiuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca. 52-61 [doi]
- Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logicJeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt. 62-71 [doi]
- Building Petri net scenarios for dependable automation systemsSimona Bernardi, Susanna Donatelli. 72-81 [doi]
- On non-ergodic infinite-state stochastic Petri netsFalko Bause. 84-92 [doi]
- Computational algorithms for product-form of competing Markov chainsMatteo Sereno. 93-102 [doi]
- On the relations between BCMP queueing networks and product form solution stochastic petri netsGianfranco Balbo, Steven C. Bruell, Matteo Sereno. 103-112 [doi]
- Distributed semi-Markov processes in stochastic T-timed Petri netsStefan Haar. 114-123 [doi]
- State class timed automaton of a time Petri netDidier Lime, Olivier H. Roux. 124-133 [doi]
- A discrete time model for performance evaluation and correctness verification of real time systemsGiacomo Bucci, Luigi Sassoli, Enrico Vicario. 134-143 [doi]