Assign time for the DTMC commands

17 views
Skip to first unread message

gui...@gmail.com

unread,
Jul 27, 2015, 4:32:29 PM7/27/15
to PRISM model checker
Hello people,
I would like to know if is there a way to assign some time rate to the DTMC commands?
For example, I'm working with a model that simulates and enterprise application integration solution. So, it have messages that arrives randomly in a queue and waits until a task is ready to start its service. Once the task is ready, the message leaves the queue and enters the task. Then, I need to get the arrival time, the service start time, the service end time and the service time of the model. I tried to put some rates on the commands, but I only got some errors messages saying that the probability sums more than 1.  Is there a way to assign some time to the PRISM commands or get the total simulation time?
Thanks.

Gethin Norman

unread,
Jul 28, 2015, 4:29:51 AM7/28/15
to prismmod...@googlegroups.com, Gethin Norman
Why not model the system as a CTMC as opposed to a DTMC. You will need to assign a rates to all transitions, but this seems to be the case from your description.

thanks

Gethin
> --
> You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchec...@googlegroups.com.
> To post to this group, send email to prismmod...@googlegroups.com.
> Visit this group at http://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.

Reply all
Reply to author
Forward
0 new messages