The Community for Technology Leaders
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)
Melbourne, Victoria, Australia
Dec. 2, 1991 to Dec. 5, 1991
ISBN: 0-8186-2285-7
pp: 154-163
V. Valero Ruiz , Univ. Castilla-La Mancha, Albacete, Spain
ABSTRACT
The authors consider timed Petri nets, for which a timed step semantics generalizing the ordinary step semantics is presented. A codification of these, with regard to such semantics, by ordinary Petri nets is presented. This codification is presented in a gradual way, beginning with that corresponding to a more restricted and thus simpler step semantics. This semantics does not allow the overlapped firing of several instances of each transition. The authors consider a step semantics which allows such overlapped executions. In restricted cases the construction is based on an automaton which controls the system evolution. The construction for the most general semantics is rather more complicated, that is why it is presented gradually. They consider three versions of it.<>
INDEX TERMS
automata theory, decidability, Petri nets, protocols
CITATION

V. Valero Ruiz, D. de Frutos Escrig and F. Cuartero Gomez, "Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems," Proceedings of the Fourth International Workshop on Petri Nets and Performance Models(PNPM), Melbourne, Victoria, Australia, , pp. 154-163.
doi:10.1109/PNPM.1991.238772
87 ms
(Ver 3.1 (10032016))