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.

Membrane Systems and Petri Net Synthesis

Abstract: 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 system from a behavioural specification given in the form of a transition system which specifies the desired state space of the system to be constructed. We demonstrate how a Petri net solution to this problem, based on the notion of region of a transition system, yields a method of automated synthesis of membrane systems from state spaces.

The use of proteinaceous molecules in methods for molecular computing

Abstract: The present invention relates to the fields of biology and computer sciences. The present invention provides proteinaceous molecules to encode solutions to computational problems. In one aspect the invention provides the use of a proteinaceous molecule as a representation of a combination of values for variables of a computational problem. In a second aspect the invention provides a library of proteinaceous molecules representing essentially all relevant solutions to at least one computational problem. The invention further provides a nucleic acid library encoding a library of proteinaceous molecules according to the invention. In a third aspect, the invention provides a method for detecting a proteinaceous molecule representing a combination of values for variables of a computational problem comprising contacting a library of proteinaceous molecules of the invention, with a set of binding molecules designed for binding to proteinaceous molecules representing solutions. In a fourth aspect the invention provides an apparatus for providing a solution to a computational problem comprising a library of the invention, and means for detection of a solution.

Petri nets: Properties, analysis and applications

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. >