A4 Vertaisarvioitu artikkeli konferenssijulkaisussa

Full structural model refinement as type refinement of colored Petri nets

Tekijät: Gratie Diana-Elena, Petre Ion

Toimittaja: Heiner M., Wagler A.K.

Julkaisuvuosi: 2015

Kokoomateoksen nimi: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets

Sarjan nimi: CEUR Workshop Proceedings

Vuosikerta: 1373

Aloitussivu: 70

Lopetussivu: 84