LEADER 02009oam  2200397zu 450 
001 9910872853103321
005 20210807003438.0
035   $a(CKB)111055184225214
035   $a(SSID)ssj0000558680
035   $a(PQKBManifestationID)12250547
035   $a(PQKBTitleCode)TC0000558680
035   $a(PQKBWorkID)10560286
035   $a(PQKB)11644053
035   $a(NjHacI)99111055184225214
035   $a(EXLCZ)99111055184225214
100   $a20160829d2001      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a9th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2001
215   $a1 online resource (x, 261 pages) $cillustrations
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-1248-8 
330   $aProceedings 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.
606   $aPetri nets$vCongresses
615  0$aPetri nets
676   $a511.3
700   $aGerman$b Reinhard$01011714
801  0$bPQKB
906   $aPROCEEDING
912   $a9910872853103321
996   $a9th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany$92345141
997   $aUNINA