Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Lars Michael Kristensen
Joint Papers
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
Cite
×