LEADER 01747oam  2200433zu 450 
001 996210428603316
005 20210807003604.0
035   $a(CKB)111026746741912
035   $a(SSID)ssj0000558677
035   $a(PQKBManifestationID)12219738
035   $a(PQKBTitleCode)TC0000558677
035   $a(PQKBWorkID)10565485
035   $a(PQKB)11662370
035   $a(NjHacI)99111026746741912
035   $a(EXLCZ)99111026746741912
100   $a20160829d1995      uy              
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 00$aPetri Nets and Performance Models
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1995
215   $a1 online resource (288 pages)
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-8186-7210-2 
330   $aPapers from the October 1995 workshop report on methodological advances for the analysis of timed and stochastic Petri nets by means of numerical techniques or simulation, and detail applications such as computer systems, communication networks, and flexible manufacturing systems. Includes sections on decomposition and aggregation; analysis algorithms; distributed systems; non-Markovian nets; stochastic well- formed nets; and stochastic process algebra, and offers software tool demonstration proposals.
606   $aMachine theory
606   $aMachine theory$vCongresses
606   $aPetri nets$vCongresses
615  0$aMachine theory.
615  0$aMachine theory
615  0$aPetri nets
676   $a004.24015115
801  0$bPQKB
906   $aBOOK
912   $a996210428603316
996   $aPetri Nets and Performance Models$92324749
997   $aUNISA