Diana-Elena Gratie

Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response

Ion Petre, Sepinoud Azimi, Bogdan Iancu, 2016, From Action Systems to Distributed Systems.

Refinement of biomodels using Petri nets

Diana-Elena Gratie, Diana-Elena Gratie, 2016 .

ODE Analysis of Biological Systems

Ion Petre, Bogdan Iancu, Diana-Elena Gratie, 2013, SFM.

Composition Colored Petri Nets for the Refinement of Reaction-based Models

Cristian Gratie, Diana-Elena Gratie, C. Gratie, 2016, SASB.

Quantitative Petri Nets Models for the Heat Shock Response

Ion Petre, Diana-Elena Gratie, I. Petre, 2013 .

An Excursion Through Quantitative Model Refinement

Ion Petre, Sepinoud Azimi, Vladimir Rogojin, 2015, Int. Conf. on Membrane Computing.