22 citations · 29 across the 4 of their papers we have counts for
4 papers
Membrane Systems and Petri Net Synthesis
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny +1
Automated synthesis from behavioural specifications is an attractive and powerful way of constructing concurrent systems. Here we focus on the problem of synthesising a membrane sy…
Petri Nets and Bio-Modelling - and how to benefit from their synergy
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
In this talk we are concerned with the intrinsic similarities and differences between Petri nets on the one hand, and membrane systems and reaction systems on the other hand.
How Overlap Determines the Macronuclear Genes in Ciliates
Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg
Formal models for gene assembly in ciliates have been developed, in particular the string pointer reduction system (SPRS) and the graph pointer reduction system (GPRS). The reducti…
Reducibility of Gene Patterns in Ciliates using the Breakpoint Graph
Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg
Gene assembly in ciliates is one of the most involved DNA processings going on in any organism. This process transforms one nucleus (the micronucleus) into another functionally dif…