02037oam 2200409zu 450 991087285310332120241212215056.0(CKB)111055184225214(SSID)ssj0000558680(PQKBManifestationID)12250547(PQKBTitleCode)TC0000558680(PQKBWorkID)10560286(PQKB)11644053(NjHacI)99111055184225214(EXLCZ)9911105518422521420160829d2001 uy engur|||||||||||txtccr9th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany[Place of publication not identified]IEEE Computer Society Press20011 online resource (x, 261 pages) illustrationsBibliographic Level Mode of Issuance: Monograph9780769512488 0769512488 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.Petri netsCongressesPetri nets511.3German Reinhard1011714PQKBPROCEEDING99108728531033219th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany2345141UNINA