Authors
Silvano Dal Zilio, Enrico Formenti
Publication date
2003/7/17
Book
International Workshop on Membrane Computing
Pages
153-167
Publisher
Springer Berlin Heidelberg
Description
We study dynamical properties of PB systems, a new computational model of biological processes, and propose a compositional encoding of PB systems into Petri nets. Building on this relation, we show that three properties: boundedness, reachability and cyclicity, which we claim are useful in practice, are all decidable.
Total citations
20042005200620072008200920102011201220132014201522645113613
Scholar articles
S Dal Zilio, E Formenti - International Workshop on Membrane Computing, 2003