Search

Lars Michael Kristensen

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

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