Modeling discrete event systems with state-dependent deterministic service times

In this paper extensions to the numerical solution method of deterministic and stochastic Petri nets (DSPNs) are introduced in order to cope with deterministic transitions with marking-dependent firing delays. The basic idea lies in scaling each row of the generator matrix of the Markov chain subordinated to a deterministic transition with marking-dependent firing delay by the delay value corresponding to this marking. Computational formulas of this solution method are implemented in the software package DSPNexpress which completely automates the solution process of DSPNs. The extended modeling power of DSPNs is illustrated by a single-server queuing system with Poisson arrivals, degradable deterministic service requirements, and finite capacity.

[1]  Donald Gross,et al.  The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes , 1984, Oper. Res..

[2]  William H. Sanders,et al.  Stochastic Activity Networks: Structure, Behavior, and Application , 1985, PNPM.

[3]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

[4]  G. V. Kulkarni,et al.  The Completion Time of a Job on Multi-Mode Systems , 1985 .

[5]  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.

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  William H. Sanders,et al.  Performability Modeling with UltraSAN , 1991, IEEE Softw..

[8]  Hoon Choi,et al.  Sensitivity Analysis of Deterministic and Stochastic Petri Nets , 1993, IEEE/ACM International Symposium on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems.

[9]  I. Chlamtac,et al.  BRAM: The Broadcast Recognizing Access Method , 1979, IEEE Trans. Commun..

[10]  William H. Sanders,et al.  A Unified Approach for Specifying Measures of Performance, Dependability and Performability , 1991 .

[11]  Christoph Lindemann.  An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models , 1993, Perform. Evaluation.

[12]  Christoph Lindemann,et al.  DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets , 1993, Perform. Evaluation.

[13]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[14]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[15]  Tim O'Reilly.  X toolkit intrinsics reference manual : for version 11 of the X window system , 1990 .

[16]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[17]  C. Lindemann.  A stochastic performance modeling technique for deterministic medium access schemes , 1992, Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems.