On the dynamics of PB systems: a Petri net view
S Dal Zilio, E Formenti - International Workshop on Membrane Computing, 2003 - Springer
International Workshop on Membrane Computing, 2003•Springer
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.
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.
Abstract
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.
Springer
Showing the best result for this search. See all results