For the most recent entries see the Petri Nets Newsletter.

On the Dynamics of PB Systems: A Petri Net View.

Dal Zilio, Silvano; Formenti, Enrico

In: Membrane Computing, pages 153-167. Volume 2933 of Lecture Notes in Computer Science --- Springer-Verlag, January 2004.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography