1,721,333 research outputs found
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs
No full textPNGT'04. H. Ehrig, J. Padberg, G. Rozenberg eds., Elsevier
Formalizing spherical membrane structures and membrane proteins populations
No full textWe present a formalization of membrane structure by using a parametric 2-dimensional spherical surface, where membrane proteins reside and can move, according to prescribed operations. A more detailed formalization of membrane proteins acting as transporters is also given, thus possibly allowing a global scale analysis of ion flows across a membrane. Several other applications, both biology and computation oriented, are proposed
The Algebraic Structure of Petri Nets
No full textThis survey retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri nets
- …
