9th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
German Reinhard
|
| Titolo: |
9th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany
|
| Pubblicazione: | [Place of publication not identified], : IEEE Computer Society Press, 2001 |
| Descrizione fisica: | 1 online resource (x, 261 pages) : illustrations |
| Disciplina: | 511.3 |
| Soggetto topico: | Petri nets |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Sommario/riassunto: | Proceedings of a September 2001 conference held in Aachen, Germany to discuss areas of timed and stochastic Petri nets and their usage for performance and dependability evaluation. Twenty-three contributions are arranged in sections on application studies; analysis of large models; reachability graphic construction; non-Markovian and fluid models; formal foundation; timed nets; and modeling frameworks and tools. A sampling of topics: simulation based performance analysis of web servers, embedded processes in generalized stochastic Petri nets, time domain analysis of NMSPN with PRI transitions, equivalence and aggregation of GSPNs with labeled transitions. Indexed by author only, not subject. c. Book News Inc. |
| Titolo autorizzato: | 9th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910872853103321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |