In: Technical Report, University of Washington, pages 1-19. 1991.
Abstract: The authors present a parallel simulation protocol for Performance Petri nets, Petri nets in which transition firings take randomly selected amounts of time. This protocol is interesting for two reasons. First, applications of standard conservative or optimistic parallel simulation to Petri nets results in either unnecessarily low (possibly no) parallelism or simply fails to produce correct results. Thus, this new protocol may be thought of as addressing a class of models not amenable to standard parallel simulation, with Petri nets models being a particular example. Second, Performance Petri nets are currently analyzed using numerical techniques that have time and space requirements exponential in the size of the Petri net. Simulation, and particularly parallel simulation, is thus a practical alternate analysis method for these models