%0 Conference Paper %1 conf/pnpm/RuizFC91 %A Ruiz, Valentín Valero %A de Frutos-Escrig, David %A Cuartero, Fernando %B PNPM %D 1991 %I IEEE Computer Society %K dblp %P 154-163 %T Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. %U http://dblp.uni-trier.de/db/conf/pnpm/pnpm1991.html#RuizFC91 %@ 0-8186-2285-7

@inproceedings{conf/pnpm/RuizFC91, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ruiz, Valentín Valero and de Frutos-Escrig, David and Cuartero, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/20c12a5909b48842cf58915a49888b9ab/dblp}, booktitle = {PNPM}, crossref = {conf/pnpm/1991}, ee = {https://doi.ieeecomputersociety.org/10.1109/PNPM.1991.238772}, interhash = {ff2e0a78c860a72a37a6833204082fe4}, intrahash = {0c12a5909b48842cf58915a49888b9ab}, isbn = {0-8186-2285-7}, keywords = {dblp}, pages = {154-163}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:13:51.000+0200}, title = {Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems.}, url = {http://dblp.uni-trier.de/db/conf/pnpm/pnpm1991.html#RuizFC91}, year = 1991 }