Full Structural Model Refinement as Type Refinement of Colored Petri Nets

Diana-Elena Gratie, Ion Petre

Research output: Book/ReportCommissioned reportProfessional

1 Citation (Scopus)
Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science (TUCS)
ISBN (Print)978-952-12-3209-1
Publication statusPublished - 2015
MoE publication typeD4 Published development or research report or study

Cite this