Modeling and Analyzing Self-Adaptive Systems with Context Petri Net

Nicolas Cardozo, Sebatián González, Kim Mens, Ragnhild Van Der Straeten, Theo D'Hondt

Research output: Chapter in Book/Report/Conference proceedingConference paper

22 Citations (Scopus)


The development of self-adaptive systems requires the definition of the parts of the
system that will be adapted, when such adaptations will take place, and how these
adaptations will interact with each other. However, foreseeing all possible adaptations
and their interactions is a difficult task, opening the possibility to inconsistencies
or erroneous system behavior. To avoid inconsistencies, self-adaptive systems require a
sound programming model that allows to reason about the correctness of the system in
spite of its dynamic reconfigurations.
This paper presents context Petri nets, a Petri net-based programming model for
self-adaptive systems. This model provides a formal definition of adaptations and their
interaction, as well as a consistent process for their inclusion in the system. Besides
serving as an underlying run-time model to ensure that adaptations and their constraints
remain consistent, context Petri nets allow to analyze properties such as reachability
and liveness in the configuration of self-adaptive systems.
Context Petri nets thus are a convenient tool to model and analyze the dynamics of
self-adaptive systems, both formally and computationally.
Original languageEnglish
Title of host publicationProceedings of the Symposyum on Theoretical Aspects of Software Engineering
PublisherIEEE Computer Society Press
Number of pages8
ISBN (Print)978-1-4799-0735-9
Publication statusPublished - 1 Jul 2013
EventTheoretical Aspects of Software Engineering (TASE), 2013 International Symposium on - Birmingham, United Kingdom
Duration: 1 Jul 20133 Jul 2013


ConferenceTheoretical Aspects of Software Engineering (TASE), 2013 International Symposium on
CountryUnited Kingdom


  • self-adaptive systems
  • Petri nets
  • Dynamic behavior adaptation
  • Context-awareness


Dive into the research topics of 'Modeling and Analyzing Self-Adaptive Systems with Context Petri Net'. Together they form a unique fingerprint.

Cite this