01736oam 2200433zu 450 991087244830332120210807003604.0(CKB)111026746741912(SSID)ssj0000558677(PQKBManifestationID)12219738(PQKBTitleCode)TC0000558677(PQKBWorkID)10565485(PQKB)11662370(NjHacI)99111026746741912(EXLCZ)9911102674674191220160829d1995 uy engur|||||||||||txtccrPetri Nets and Performance Models[Place of publication not identified]IEEE Computer Society Press19951 online resource (288 pages)Bibliographic Level Mode of Issuance: Monograph0-8186-7210-2 Papers 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.Machine theoryMachine theoryCongressesPetri netsCongressesMachine theory.Machine theoryPetri nets004.24015115PQKBBOOK9910872448303321Petri Nets and Performance Models2324749UNINA