Scheduled System Maintenance:
On May 6th, system maintenance will take place from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). During this time, there may be intermittent impact on performance. We apologize for the inconvenience.
By Topic

Decidability of the strict reachability problem for TPN's with rational and real durations

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
1 Author(s)

Timed Petri nets with rational and real durations are introduced. A timed version of the reachability problem, the strict reachability problem, which imposes a time limit to reach the given marking, is presented. It is shown that both in the case of rational durations, and in that of real durations, this strict reachability problem is decidable. In the first case, the result is obtained by scaling the time of the net, in such a way that all the durations of the transitions become integer. A previous result of the authors, showing that the strict reachability problem is decidable for this kind of net, is applied in order to conclude the desired result. Nevertheless, it is important to note that this application is not immediate, since, even though after scaling one can suppose that all the durations are integer, time is no more discrete, and thus the firing of a transition can happen at any (rational) moment. In the second case, a completely different approach is needed, since in general real durations cannot be normalized into integer durations. This consists of the counting of the passing of time in a symbolic way, and the simulation of the evolution of the original net without preserving the temporal order between the firing of the transitions, but only the causal order between them

Published in:

Petri Nets and Performance Models, 1993. Proceedings., 5th International Workshop on

Date of Conference:

19-22 Oct 1993