( en | de | ru )

 

Disambiguation of "Cuartero, Fernando"

Author of the publication

copydeleteadd this publication to your clipboard
Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems.

, , and . PNPM, page 154-163. IEEE Computer Society, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Juan Cuartero Otal

Fernando Cox

Fernando Silva

Fernando Gast

Fernando Rinaldi

 

Other publications of authors with the same name

Analysis of the SET e-commerce protocol using a true concurrency process algebra., , , and . SAC, page 879-886. ACM, (2006)A translation of TPALp into a class of timed-probabilistic Petri nets., , and . Theor. Comput. Sci., 338 (1-3): 350-392 (2005)Quantum invariants for the graph isomorphism problem., , , , , , and . CoRR, (2022)Verification of Web Services with Timed Automata., , , , and . WWV, volume 157 of Electronic Notes in Theoretical Computer Science, page 19-34. Elsevier, (2005)Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets., , , and . FMICS, volume 66 of Electronic Notes in Theoretical Computer Science, page 120-131. Elsevier, (2002)A New Synchronization in Finite Stochastic Petri Box Calculus., , , and . ACSD, page 216-225. IEEE Computer Society, (2003)Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems., , and . PNPM, page 154-163. IEEE Computer Society, (1991)Process Algebra Specification of Flexible Manufacturing Systems., , , and . SYNASC, page 181-186. IEEE Computer Society, (2006)A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol., , , and . SYNASC, page 239-244. IEEE Computer Society, (2005)CALPE and INDICA. Two tools for calculating the dynamic pantograph/catenary interaction., , , and . CLEI, page 1-7. IEEE, (2012)