scispace - formally typeset
Search or ask a question
Author

Grzegorz Rozenberg

Bio: Grzegorz Rozenberg is an academic researcher from Leiden University. The author has contributed to research in topics: Petri net & Formal language. The author has an hindex of 81, co-authored 679 publications receiving 31378 citations. Previous affiliations of Grzegorz Rozenberg include Åbo Akademi University & University of Warsaw.


Papers
More filters
Journal ArticleDOI
TL;DR: The development of the theoretical models of gene assembly are continued, and in particular the use of the concept of the breakpoint graph is demonstrated, known from another branch of DNA transformation research.

27 citations

Journal ArticleDOI
TL;DR: A graph theoretical model of gene assembly, where (segments of) genes are distributed over a set of circular molecules, which corresponds to the dynamic process of changing cyclic graph decompositions.

27 citations

Book ChapterDOI
10 Jun 2001
TL;DR: Characterizing for each subset S of the three molecular operations those patterns that can be assembled using operations in S enhance the understanding of the structure of micronuclear genes (and of the nature of molecular operations) and allow one to establish both similarity and complexity measures for micron nuclear genes.
Abstract: The process of gene assembly in ciliates is one of the most complex examples of DNA processing known in any organism, and it is fascinating from the computational point-of-view -- it is a prime example of DNA computing in vivo. In this paper we continue to investigate the three molecular operations (ld, hi, and dlad) that were postulated to carry out the gene assembly process in the intramolecular fashion. In particular, we focus on the understanding of the IES/MDS patterns of micronuclear genes, which is one of the important goals of research on gene assembly in ciliates. We succeed in characterizing for each subset S of the three molecular operations those patterns that can be assembled using operations in S. These results enhance our understanding of the structure of micronuclear genes (and of the nature of molecular operations). They allow one to establish both similarity and complexity measures for micronuclear genes.

27 citations

Journal ArticleDOI
TL;DR: This paper takes a closer look at various basic features of this framework of sequential graph rewriting and demonstrates how various existing approaches fit into it.

27 citations


Cited by
More filters
Journal ArticleDOI
01 Apr 1989
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Abstract: Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets. >

10,755 citations

Journal ArticleDOI
TL;DR: Alur et al. as discussed by the authors proposed timed automata to model the behavior of real-time systems over time, and showed that the universality problem and the language inclusion problem are solvable only for the deterministic automata: both problems are undecidable (II i-hard) in the non-deterministic case and PSPACE-complete in deterministic case.

7,096 citations