Author of the publication

A tool for symbolic manipulation of arc functions in symmetric net models.

, , and . VALUETOOLS, page 320-323. ICST/ACM, (2013)

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

Stochastic Petri Nets Sensitivity to Token Scheduling Policies., , , and . OR, page 181-186. Springer, (2010)A tool for symbolic manipulation of arc functions in symmetric net models., , and . VALUETOOLS, page 320-323. ICST/ACM, (2013)General Composition for Symmetric Net Arc Functions with Applications., , and . PNSE@Petri Nets, volume 2907 of CEUR Workshop Proceedings, page 135-154. CEUR-WS.org, (2021)Tagged Generalized Stochastic Petri Nets., , and . EPEW, volume 5652 of Lecture Notes in Computer Science, page 1-15. Springer, (2009)Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding., , , , and . EPEW, volume 11178 of Lecture Notes in Computer Science, page 30-45. Springer, (2018)Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions., , , , , , , , , and 3 other author(s). CIBB, volume 12313 of Lecture Notes in Computer Science, page 299-308. Springer, (2019)Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models., , , and . ACSD, page 111-121. IEEE Computer Society, (2003)A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models., , , , , and . MASCOTS, page 36-48. IEEE Computer Society, (2019)Computing Structural Properties of Symmetric Nets., , and . QEST, volume 9259 of Lecture Notes in Computer Science, page 125-140. Springer, (2015)On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process., , , , , , , , , and 1 other author(s). CMSB, volume 5688 of Lecture Notes in Computer Science, page 281-295. Springer, (2009)