@inproceedings{7da6c72282c34acd8f3e1a56e5b2ea32,
title = "Full Structural Model Refinement as Type Refinement of Colored Petri Nets",
author = "Diana-Elena Gratie and Ion Petre",
year = "2015",
language = "Odefinierat/ok{\"a}nt",
pages = "70–84",
editor = "Monika Heiner and Wagler, {Annegret K.}",
booktitle = "Proceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015)",
publisher = "CEUR-WS.org",
note = "International Workshop on Biological Processes & Petri Nets (BioPPN) ; Conference date: 22-06-2015",
}