Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems

Abstract

Semantic Scholar extracted view of "Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems" by Valentín Valero Ruiz et al.

Topics

0 Figures and Tables

    Download Full PDF Version (Non-Commercial Use)