A limit Semantics for timed Petri Nets
Résumé
In this paper, we investigate conditions for non-ambiguous behavior of a timed Petri net which also contains immediate transitions. Non-ambiguity here means that the net behavior is uniquely determined by some given set of control parameters. For this, we study the limit policy in which immediate transitions are treated as (``limits'' of) timed transitions whose durations tend uniformly to 0, yielding a unique semantics; we give conditions under which this limit semantics exists.