Stopwatch in TAPAAL?

Asked by Falk Benke on 2013-02-12

Is there some way to get stopwatch semantic in TAPAAL?

My use case is the following: I want to model preemptable tasks with minimum and maximum execution time. Therefore, tokens shall only age when the task is actually executed by the CPU. In UPPAAL I would model this via stopwatches, but I haven´t found a way to express the same thing in TAPAAL.

Great tool, by the way!

Question information

English Edit question
TAPAAL Edit question
No assignee Edit question
Last query:
Last reply:
Jiri Srba (srba) said : #1

Thanks for this question. It would be indeed good to have stopwatch places so that you can stop tokens
from becoming older once they enter these special places. This, however, brings lots of theoretical challenges
as the problem will most likely become undecidable even for bounded nets. So at the moment TAPAAL does
not support (even undirectly) stopwatches.

If you are looking for a Petri net tool with time and stopwatches, you may want to check the tool Romeo.
The time extension of Petri nets is different than the one used in TAPAAL but you might find it useful for modelling
of your problem.

Thanks for your interest in TAPAAL.

Can you help with this problem?

Provide an answer of your own, or ask Falk Benke for more information if necessary.

To post a message you must log in.