1. PNPM 1985:
Torino,
Italy
International Workshop on Timed Petri Nets, Torino, Italy, July 1-3, 1985.
IEEE Computer Society 1985, ISBN 0-8186-0674-6 BibTeX
@proceedings{DBLP:conf/pnpm/1985,
title = {International Workshop on Timed Petri Nets, Torino, Italy, July
1-3, 1985},
booktitle = {PNPM},
publisher = {IEEE Computer Society},
year = {1985},
isbn = {0-8186-0674-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
- Stéphane Natkin:
Timed and Stochastic Petri Nets: From the Validation to the Performance of Synchronization Schemes.
2-3 BibTeX
Stochastic Timing I
Deterministic Timing
Methodologies and Applications I
Stochastic Timing II
Timed Nets
Tools
- Giovanni Chiola:
A Software Package for the Analysis of Generalized Stochastic Petri Net Models.
136-143 BibTeX
- Aldo Cumani:
ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times.
144-151 BibTeX
- Marek Leszak, Heinrich P. Godbersen:
DEAMON: A Tool for Performance-Availability Evaluation of Distributed Systems Based on Function Nets.
152-161 BibTeX
- Miguel Menasche:
PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets.
162-169 BibTeX
Methodologies and Applications II
Synchronization and Concurrency in Queueing Systems
Stochastic Timing III
Protocol Modeling
Copyright © Sat May 16 23:33:34 2009
by Michael Ley (ley@uni-trier.de)
