Full Structural Model Refinement as Type Refinement of Colored Petri Nets

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

1 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Kustantaja	Turku Centre for Computer Science (TUCS)
ISBN (painettu)	978-952-12-3209-1
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Viittausmuodot

@book{55cf4712abfe445291acf2ec2fbe51a3,

title = "Full Structural Model Refinement as Type Refinement of Colored Petri Nets",

author = "Diana-Elena Gratie and Ion Petre",

note = "TUCS Technical Report No 1135, April 2015",

year = "2015",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-952-12-3209-1",

publisher = "Turku Centre for Computer Science (TUCS)",

}

TY - BOOK

T1 - Full Structural Model Refinement as Type Refinement of Colored Petri Nets

AU - Gratie, Diana-Elena

AU - Petre, Ion

N1 - TUCS Technical Report No 1135, April 2015

PY - 2015

Y1 - 2015

M3 - Beställd rapport

SN - 978-952-12-3209-1

BT - Full Structural Model Refinement as Type Refinement of Colored Petri Nets

PB - Turku Centre for Computer Science (TUCS)

ER -