G
Grzegorz Rozenberg
Researcher at Leiden University
Publications - 679
Citations - 31971
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
Combinatorial properties of texts
TL;DR: On introduit egalement une sur-classe naturelle des textes alternants (appeles les textes sans saut) et on les caracterise tant par des proprietes combinatoires que par des properties de cloture.
Book
Formal Methods in Software and Systems Modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
TL;DR: In this article, the authors present a formal framework for the development of concurrent object-based systems based on Graph Transformation and Graph Processes with Fusions (GPTs) and Petri Nets.
Journal ArticleDOI
Elementary Transition Systems and Refinement
TL;DR: The well known problems in understanding within nets the simple notion of syntactic substitution of conditions by (sub) nets behaviourally seem to disappear when moving to the more abstract level of ETS, and it is shown that the ETS-version of condition-substitution does satisfy nice and natural properties.
Journal ArticleDOI
On Strongly Context-Free Languages
TL;DR: It is proved that there are such languages of a bounded complexity in terms of the number of nonterminals or productions necessary to generate them, whereas the complexity of their complements is arbitrarily large.