A4 Refereed article in a conference publication

Full structural model refinement as type refinement of colored Petri nets

Authors: Gratie Diana-Elena, Petre Ion

Editors: Heiner M., Wagler A.K.

Publication year: 2015

Book title : Proceedings of the 6th International Workshop on Biological Processes & Petri Nets

Series title: CEUR Workshop Proceedings

Volume: 1373

First page : 70

Last page: 84