Author of the publication

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.

 

Other publications of authors with the same name

Inverse Expansion., , , , and . FORTE, volume C-2 of IFIP Transactions, page 297-312. North-Holland, (1991)Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)., and . Acta Inf., 54 (1): 1-2 (2017)Name Creation vs. Replication in Petri Net Systems., and . ICATPN, volume 4546 of Lecture Notes in Computer Science, page 402-422. Springer, (2007)Some Probabilistic Powerdomains in the Category SFP.. STACS, volume 210 of Lecture Notes in Computer Science, page 49-59. Springer, (1986)(Bi)simulations up-to characterise process semantics., and . Inf. Comput., 207 (2): 146-170 (2009)sPBC: A Markovian Extension of Finite Petri box calculus., , and . PNPM, page 207-216. IEEE Computer Society, (2001)On the Unification of Process Semantics: Observational Semantics., , and . SOFSEM, volume 5404 of Lecture Notes in Computer Science, page 279-290. Springer, (2009)A Sound and Complete Proof System for Probabilistic Processes., , and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 340-352. Springer, (1997)On Narrowing Strategies for Partial Non-Strict Functions., and . TAPSOFT, Vol.2, volume 494 of Lecture Notes in Computer Science, page 416-437. Springer, (1991)Distances between Processes: A Pure Algebraic Approach., and . WADT, volume 7841 of Lecture Notes in Computer Science, page 265-282. Springer, (2012)