• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Full Structural Model Refinement as Type Refinement of Colored Petri Nets

Diana-Elena Gratie, Ion Petre, Full Structural Model Refinement as Type Refinement of Colored Petri Nets. TUCS Technical Reports 1135, TUCS, 2015.

Abstract:

In this paper we propose a method for implementing a full structural model refinement of a (biological) model represented as a (colored) Petri net. We build on the full structural data refinement definition of C. Gratie and Petre, and the type refinement of colored Petri nets introduced by Charles Lakos.
Given a (biological) reaction-based model and a desired full structural refinement of it, we propose a general coloring scheme for a colored Petri net implementation of the model and give an algorithm for adding the refinement details in the Petri net model. We then prove that the construction is a type refinement, and that by our choice of color sets the resulting refined colored Petri net implements the full structural refinement of the given model.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tGrPe15b,
  title = {Full Structural Model Refinement as Type Refinement of Colored Petri Nets},
  author = {Gratie, Diana-Elena and Petre, Ion},
  number = {1135},
  series = {TUCS Technical Reports},
  publisher = {TUCS},
  year = {2015},
  keywords = {Colored Petri nets, type refinement, reaction network, structural model refinement.},
}

Belongs to TUCS Research Unit(s): Computational Biomodeling Laboratory (Combio Lab)

Edit publication