02009oam 2200397zu 450 991087285310332120210807003438.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: Monograph0-7695-1248-8 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