Full Structural Model Refinement as Type Refinement of Colored Petri Nets

Diana-Elena Gratie, Ion Petre

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

AlkuperäiskieliEi tiedossa
OtsikkoProceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015)
ToimittajatMonika Heiner, Annegret K. Wagler
KustantajaCEUR-WS.org
Sivut70–84
TilaJulkaistu - 2015
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Workshop on Biological Processes & Petri Nets (BioPPN) - 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015)
Kesto: 22 kesäkuuta 2015 → …

Konferenssi

KonferenssiInternational Workshop on Biological Processes & Petri Nets (BioPPN)
Ajanjakso22/06/15 → …

Viittausmuodot