Time domain analysis of non-Markovian stochastic Petri nets with PRI transitions.

The time domain analysis of non-Markovian stochastic Petri nets with pre-emptive repeat identical (PRI) type transitions is considered in this paper. The set of "time domain" equations describing the evolution of the marking process is provided. The relation of the time domain and formerly...

Description complète

Détails bibliographiques
Publié dans:IEEE Transactions on software engineering 28, 10 (2002).
Auteur principal: Horvath, A.
Format: Article
Langue:English
Sujets: