In: Bagchi, K.; Walrand, J.; Zobrist, G.: Advanced Computer Performance Modeling and Simulation, pages 203-234. Gordon and Breach, 1998.
Abstract: Starting from the basic Petri net definition, we consider SPN's having an underlying CTMC or DTMC, respectively. Then, we move to more sophisticated classes of SPNs having underlying processes which are either semi-Markov or Markov-regenerative. Finally, we survey more specialized areas of recent SPN research. Running examples are used throughout the presentation, and appropriate bibliographic citations are given.