In this paper, we investigate conditions for non-ambiguous behaviour of a timed Petri net which also contains immediate transitions. Non-ambiguity of the net behaviour means that it is uniquely determined by a given set of control parameters dened in this paper. To this eect, we describe two semantics, that deal with non-determinism in dierent ways. The rst policy, called the limit policy considers immediate transitions as limits of timed transitions with timing . The second policy, called the global priority policy denes a dynamical order among the transitions and res them along that order. The paper also investigates the advantages, the drawbacks and the relations between those two policies
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.