Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
A Petri net model for membrane systems with dynamic structure
Natural Computing: an international journal
Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
Transactions on Computational Systems Biology XI
The Oxford Handbook of Membrane Computing
The Oxford Handbook of Membrane Computing
A hybrid approach to modeling biological systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Deterministic and stochastic P systems for modelling cellular processes
Natural Computing: an international journal
Flattening the transition P systems with dissolution
CMC'10 Proceedings of the 11th international conference on Membrane computing
Towards a petri net semantics for membrane systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Snoopy --- a unifying petri net tool
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Hi-index | 0.00 |
Membrane systems are a very powerful computational modeling language inspired by the internal organization of living cells. In this paper we explore the use of colored stochastic Petri nets to model an attractive variant of membrane systems--stochastic membrane systems with active membranes. In our approach, each object is modeled as a place and each membrane as a color. As a result, we can easily represent large-scale membrane systems as compact colored Petri nets. Moreover, using dynamic color sets, we can conveniently model membrane systems with active membranes. We take the virus infection process as an example to illustrate our approach. Our paper demonstrates that colored Petri nets with dynamic color sets are a compelling tool for representing and analyzing dynamic membrane systems, and thus do contribute to the description and analysis of their dynamic behavior.