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. |