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

sPBC: A Markovian Extension of Finite Petri box calculus., , and . PNPM, page 207-216. IEEE Computer Society, (2001)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)Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)., and . Acta Inf., 54 (1): 1-2 (2017)(Bi)simulations up-to characterise process semantics., and . Inf. Comput., 207 (2): 146-170 (2009)Inverse Expansion., , , , and . FORTE, volume C-2 of IFIP Transactions, page 297-312. North-Holland, (1991)On the Unification of Process Semantics: Observational Semantics., , and . SOFSEM, volume 5404 of Lecture Notes in Computer Science, page 279-290. Springer, (2009)Logics for Contravariant Simulations., , and . FMOODS/FORTE, volume 6117 of Lecture Notes in Computer Science, page 224-231. Springer, (2010)Process Equivalences as Global Bisimulations., and . J. Univers. Comput. Sci., 12 (11): 1521-1550 (2006)Probabilistic Ianov's Schemes.. Theor. Comput. Sci., (1987)