DISCRETE-TIME MARKOVIAN STOCHASTIC PETRI NETS

We revisit and extend the original definition of discrete-time stochastic Petri nets, by allowing the firing times to have a ``defective discrete phase distribution''''. We show that this formalism still corresponds to an underlying discrete-time Markov chain. The structure of the state for this process describes both the marking of the Petri net and the phase of the firing time for of each transition, resulting in a large state space. We then modify the well-known power method to perform a transient analysis even when the state space is infinite, subject to the condition that only a finite number of states can be reached in a finite amount of time. Since the memory requirements might still be excessive, we suggest a bounding technique based on truncation.

[1]  A. Jensen,et al.  Markoff chains as an aid in the study of Markoff processes , 1953 .

[2]  John G. Kemeny,et al.  Finite Markov Chains. , 1960 .

[3]  T. Agerwala,et al.  Complete model for representing the coordination of asynchronous processes , 1974 .

[4]  Erhan Çinlar,et al.  Introduction to stochastic processes , 1974 .

[5]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .

[6]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[7]  Micha Yadin,et al.  Randomization Procedures in the Computation of Cumulative-Time Distributions over Discrete State Markov Processes , 1984, Oper. Res..

[8]  Aldo Cumani,et al.  ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times , 1985, PNPM.

[9]  Marco Ajmone Marsan,et al.  Timed Petri Net Peformance Models of Fiber Optics LAN Architectures , 1987, PNPM.

[10]  Winfried K. Grassmann,et al.  Means and variances of time averages in Markovian environments , 1987 .

[11]  W. M. Zuberek.  D-timed Petri nets and modelling of timeouts and protocol , 1987 .

[12]  Gianfranco Ciardo,et al.  Stochastic Petri Net Analysis of a Replicated File System , 1989, IEEE Trans. Software Eng..

[13]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[14]  Kishor S. Trivedi,et al.  Numerical transient analysis of markov models , 1988, Comput. Oper. Res..

[15]  Kamel Barkaoui,et al.  Reliability analysis of non repairable systems using stochastic Petri nets , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[16]  Gianfranco Ciardo,et al.  Analysis of large stochastic petri net models , 1990 .

[17]  Giovanni Chiola,et al.  GSPNs versus SPNs: what is the actual role of immediate transitions? , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[18]  Edmundo de Souza e Silva,et al.  State space exploration in Markov models , 1992, SIGMETRICS '92/PERFORMANCE '92.

[19]  Hoon Choi,et al.  Approximate performance models of polling systems using stochastic Petri nets , 1992, [Proceedings] IEEE INFOCOM '92: The Conference on Computer Communications.

[20]  Gianfranco Ciardo,et al.  Performability modeling of an automated manufacturing system with deterministic and stochastic Petri nets , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[21]  Kishor S. Trivedi,et al.  Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets , 1993 .

[22]  William J. Stewart,et al.  Numerical Solution of Markov Chains , 1993 .

[23]  Gianfranco Ciardo,et al.  Analysis of deterministic and stochastic Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[24]  Mary K. Vernon,et al.  The influence of random delays on parallel execution times , 1993, SIGMETRICS '93.

[25]  Graham Horton,et al.  A multi-level solution algorithm for steady-state Markov chains , 1994, SIGMETRICS.

[26]  Gianfranco Ciardo,et al.  A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..

[27]  Reinhard German,et al.  A new approach to discrete time stochastic Petri nets , 1994 .

[28]  W. Sanders.  Adaptive Uniformization , 1994 .