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: It is shown that each everywhere growing DIL language is the image under a coding of an everywhere growing (uniform)DOL language, which enable us to solve the subword complexity problems for developmental languages with interactions.

104 citations

Journal ArticleDOI
TL;DR: This new model of computing, splicing systems, is investigated, and with a few exceptions, the author is able to obtain precise characterizations for all resulting families.

103 citations

Journal ArticleDOI
TL;DR: This paper investigates the basic properties of pictures and picture description languages from the formal language theory point of view.
Abstract: A picture is a set of unit lines from the Cartesian plane considered as a square grid. A word over the alphabet l, r, u, d is a picture description in the sense that it represents a traversal of a picture where the interpretation of the symbols l, r, u, d, is: l go one unit line to the left of the current point r go one unit line to the right of the current point u go one unit line up from the current point, and d go one unit line down from the current point. A set of picture descriptions forms a picture description language. This paper investigates the basic properties of pictures and picture description languages from the formal language theory point of view.

103 citations

Journal ArticleDOI
TL;DR: This paper provides basic notions together with the underlying intuition and motivation as well as two examples (a binary counter and transition systems) of "programming" with reaction systems.
Abstract: Reaction systems are a formal framework for investigating processes carried out by biochemical reactions. This paper is an introduction to reaction systems. It provides basic notions together with the underlying intuition and motivation as well as two examples (a binary counter and transition systems) of "programming" with reaction systems. It also provides a tour of some research themes.

102 citations

Journal ArticleDOI
TL;DR: It is demonstrated that each 2-structure can be constructed from (decomposed into) three sorts of “basic” 2-structures, which are obtained through a (hierarchical) representation of 2-Structures by trees.

101 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