Full Structural Model Refinement as Type Refinement of Colored Petri Nets

Diana-Elena Gratie, Ion Petre

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

OriginalspråkOdefinierat/okänt
Titel på gästpublikationProceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015)
RedaktörerMonika Heiner, Annegret K. Wagler
FörlagCEUR-WS.org
Sidor70–84
StatusPublicerad - 2015
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Workshop on Biological Processes & Petri Nets (BioPPN) - 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015)
Varaktighet: 22 jun 2015 → …

Konferens

KonferensInternational Workshop on Biological Processes & Petri Nets (BioPPN)
Period22/06/15 → …

Citera det här