Full Structural Model Refinement as Type Refinement of Colored Petri Nets

D4 Published development or research report or study

Internal Authors/Editors

Publication Details

List of Authors: Diana-Elena Gratie, Ion Petre
Publisher: Turku Centre for Computer Science (TUCS)
Place: Turku
Publication year: 2015
Start page: 1
End page: 17
ISBN: 978-952-12-3209-1

Last updated on 2020-26-09 at 02:40

Share link