Full Structural Model Refinement as Type Refinement of Colored Petri Nets

Diana-Elena Gratie; Ion Petre

Full Structural Model Refinement as Type Refinement of Colored Petri Nets

Diana-Elena Gratie, Ion Petre

Doctoral Network in Information Technologies and Mathematics

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015)
Toimittajat	Monika Heiner, Annegret K. Wagler
Kustantaja	CEUR-WS.org
Sivut	70–84
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Workshop on Biological Processes & Petri Nets (BioPPN) - 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015) Kesto: 22 kesäk. 2015 → …

Konferenssi

Konferenssi	International Workshop on Biological Processes & Petri Nets (BioPPN)
Ajanjakso	22/06/15 → …

Pääsy asiakirjaan

http://ceur-ws.org/Vol-1373/paper5.pdf

Viittausmuodot

@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 = "null ; Conference date: 22-06-2015",

}

Gratie, D-E & Petre, I 2015, Full Structural Model Refinement as Type Refinement of Colored Petri Nets. julkaisussa M Heiner & AK Wagler (toim), Proceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015). CEUR-WS.org, Sivut 70–84, International Workshop on Biological Processes & Petri Nets (BioPPN), 22/06/15. <http://ceur-ws.org/Vol-1373/paper5.pdf>

Full Structural Model Refinement as Type Refinement of Colored Petri Nets. / Gratie, Diana-Elena; Petre, Ion.

Proceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015). toim. / Monika Heiner; Annegret K. Wagler. CEUR-WS.org, 2015. s. 70–84.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

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

AU - Gratie, Diana-Elena

AU - Petre, Ion

PY - 2015

Y1 - 2015

M3 - Konferensbidrag

SP - 70

EP - 84

BT - Proceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015)

A2 - Heiner, Monika

A2 - Wagler, Annegret K.

PB - CEUR-WS.org

Y2 - 22 June 2015

ER -