Composition colored Petri nets for the refinement of reaction-based models

DOI10.1016/j.entcs.2016.09.018zbMath1401.68227OpenAlexW2538358337WikidataQ113317655 ScholiaQ113317655MaRDI QIDQ1744368

Cristian Gratie, Diana-Elena Gratie

Publication date: 23 April 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.018

zbMATH Keywords

data refinementcompositional structurecomposition colored Petri netscomposition Petri netsreaction-based model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• SNOOPY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Transactions on Computational Systems Biology XI
• Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich.
• A method for stepwise refinement and abstraction of Petri nets
• Analysis of Petri nets by stepwise refinements
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Algorithms for computational biology. First international conference, AlCoB 2014, Tarragona, Spain, July 1--3, 2014. Proceedings
• Coloured Petri Nets
• Understanding Petri Nets
• Fit-Preserving Data Refinement of Mass-Action Reaction Networks
• Multiset processing. Mathematical, computer science, and molecular computing points of view

This page was built for publication: Composition colored Petri nets for the refinement of reaction-based models