Composition Colored Petri Nets for the Refinement of Reaction-based Models

  title={Composition Colored Petri Nets for the Refinement of Reaction-based Models},
  author={Diana-Elena Gratie and Cristian Gratie},
  journal={Electr. Notes Theor. Comput. Sci.},
Model refinement is an important step in the model building process. For reaction-based models, data refinement consists in replacing one species with several of its variants in the refined model. We discuss in this paper the implementation of data refinement with Petri nets such that the size of the model (in terms of number of places and transitions) does not increase. We capture the compositional structure of species by introducing a new class of Petri nets, composition Petri nets (ComP-nets… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 19 references

Modeling in systems biology: the Petri net approach

  • I. Koch, W. Reisig, F. Schreiber, editors
  • Computational Biology 16, Springer-Verlag London…
  • 2011
1 Excerpt

Similar Papers

Loading similar papers…