1.

Record Nr.

UNINA9910872448303321

Titolo

Petri Nets and Performance Models

Pubbl/distr/stampa

[Place of publication not identified], : IEEE Computer Society Press, 1995

Descrizione fisica

1 online resource (288 pages)

Disciplina

004.24015115

Soggetti

Machine theory

Petri nets

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Sommario/riassunto

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.