In: Proceedings of 9th International Workshop on Petri Nets and Performance Models, PNPM'01 Aachen, Sept. 11-14, 2001, Reinhard German and Boudewijn Haverkort (eds.), IEEE, pages 165-174. 2001.
Abstract: We present a novel stochastic Petri net formalism where both discrete and continuous phase-type firing delays can appear simultaneoulsy in the same model. By capturing non-Markovian behavior in discrete or continuous time, as appropriate, the formalism affords higher modelling fidelity. Alone, discrete or continuous phase-type Petri nets have simple underlying markov chains, but mixing the two complicates matters. We show that, in a mixed model where discrete-time transitions are synchronized, the underlying process is semi-regenerative and we can employ Markov chains, which we employ to improve the overall solution efficiency. We present a preliminary stationary solution method that shows promise in terms of time and space efficiency and demonstrate it on an aeronautical data link system application.
Back to the Petri Nets Bibliography