[prism] How to give constant rate transitions in ctmc?

[Akhilesh Ladha]

Hi,
I have such a ctmc where one of the rate is constant.
I guess if i am using a variable to set the transition it by default
takes exponential distribution for that.
But I want to put it as constant. How can I do this?

Regards,
Akhilesh.

--
You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
To post to this group, send email to prismmod...@googlegroups.com.
To unsubscribe from this group, send email to prismmodelchec...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/prismmodelchecker?hl=en.

[Dave Parker]

Hi Akhilesh,

I'm guessing that you want to model a time delay whose distribution is
deterministic, rather than exponential. If so, see this entry in the
PRISM FAQ:

http://www.prismmodelchecker.org/manual/FrequentlyAskedQuestions/PRISMModelling#det_delay

Dave.

[Akhilesh Ladha]

Thanx.
This is what I exactly want.

But I could not understand how value of k becomes deterministic.

--
LadhaAkhilesh

[Dave Parker]

k does not "become deterministic". For (increasingly) large values of k,
this becomes a good approximation of a deterministic delay of length "mean".

Dave.

> Thanx.
> This is what I exactly want.
>

> But I could not understand how value of *k* becomes deterministic.

>
> On Mon, May 24, 2010 at 7:32 PM, Dave Parker
> <david....@comlab.ox.ac.uk <mailto:david....@comlab.ox.ac.uk>> wrote:
>
> Hi Akhilesh,
>
> I'm guessing that you want to model a time delay whose distribution
> is deterministic, rather than exponential. If so, see this entry in
> the PRISM FAQ:
>
> http://www.prismmodelchecker.org/manual/FrequentlyAskedQuestions/PRISMModelling#det_delay
>
> Dave.
>
>
> Hi,
> I have such a ctmc where one of the rate is constant.
> I guess if i am using a variable to set the transition it by
> default
> takes exponential distribution for that.
> But I want to put it as constant. How can I do this?
>
> Regards,
> Akhilesh.
>
>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To post to this group, send email to
> prismmod...@googlegroups.com

> <mailto:prismmod...@googlegroups.com>.

> To unsubscribe from this group, send email to
> prismmodelchec...@googlegroups.com

> <mailto:prismmodelchecker%2Bunsu...@googlegroups.com>.

[Akhilesh Ladha]

Ok. Thanx..