Author of the publication

Computing Structural Properties of Symmetric Nets.

, , and . QEST, volume 9259 of Lecture Notes in Computer Science, page 125-140. Springer, (2015)

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

A tool for symbolic manipulation of arc functions in symmetric net models., , and . VALUETOOLS, page 320-323. ICST/ACM, (2013)Stochastic Petri Nets Sensitivity to Token Scheduling Policies., , , and . OR, page 181-186. Springer, (2010)Simplification of a complex signal transduction model using invariants and flow equivalent servers., , , , , , , , , and 1 other author(s). Theor. Comput. Sci., 412 (43): 6036-6057 (2011)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)A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks., , , , and . VTC Spring, page 1-5. IEEE, (2011)A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models., , , , , and . MASCOTS, page 36-48. IEEE Computer Society, (2019)Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models., , , and . ACSD, page 111-121. IEEE Computer Society, (2003)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)