Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Full Structural Model Refineme...

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. In: Monika Heiner, Annegret K. Wagler (Eds.), Proceedings of the 6th International Workshop on Biological Processes & Petri Nets, Ceur Workshop Proceedings 1373, 70–84, CEUR Workshop Proceedings, 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:

@INPROCEEDINGS{inpGrPe15a,
  title = {Full Structural Model Refinement as Type Refinement of Colored Petri Nets},
  booktitle = {Proceedings of the 6th International Workshop on Biological Processes & Petri Nets},
  author = {Gratie, Diana-Elena and Petre, Ion},
  volume = {1373},
  series = {Ceur Workshop Proceedings},
  editor = {Heiner, Monika and Wagler, Annegret K.},
  publisher = {CEUR Workshop Proceedings},
  pages = {70–84},
  year = {2015},
  keywords = {Colored Petri nets, type refinement, reaction network, structural model refinement.},
  ISSN = {1613-0073},
}

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

Publication Forum rating of this publication: level 1

Edit publication