Full Structural Model Refinement as Type Refinement of Colored Petri Nets

Diana-Elena Gratie, Ion Petre

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015)
Editors	Monika Heiner, Annegret K. Wagler
Publisher	CEUR-WS.org
Pages	70–84
Publication status	Published - 2015
MoE publication type	A4 Article in a conference publication
Event	International Workshop on Biological Processes & Petri Nets (BioPPN) - 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015) Duration: 22 Jun 2015 → …

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

Access to Document

@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",

}

Gratie, D-E & Petre, I 2015, Full Structural Model Refinement as Type Refinement of Colored Petri Nets. in M Heiner & AK Wagler (eds), Proceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015). CEUR-WS.org, pp. 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). ed. / Monika Heiner; Annegret K. Wagler. CEUR-WS.org, 2015. p. 70–84.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

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

T2 - International Workshop on Biological Processes & Petri Nets (BioPPN)

Y2 - 22 June 2015

ER -