Search

Anastasia Gkolfi

Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets
Translating active objects into colored Petri nets for communication analysis
Using Coloured Petri Nets for Resource Analysis of Active Objects
Translating Active Objects into Colored Petri Nets for Communication Analysis

Published with Wowchemy — the free, open source website builder that empowers creators.