A mosaic of computational topics : dedicated to Jetty Kleijn on the occasion of her 65th birthday.

Format:

Book

Author/Creator:

ter Beek, M. H.

Contributor:

Koutny, M.

Rozenberg, G.

Language:

English

Subjects (All):

Petri nets.

Computer science--Mathematics.

Physical Description:

1 online resource (362 pages)

Edition:

1st ed.

Place of Publication:

: IOS Press, Incorporated, 2020.

Summary:

This book, 'A Mosaic of Computational Topics: from Classical to Novel', is a collection of papers published to honor Professor Jetty Kleijn on the occasion of her 65th birthday. The scope and reach of her research is truly broad. She has made significant and lasting contributions in several research areas, both through the solving of challenging problems and in her pioneering of new research directions. She has published influential papers contributing to the foundations of computer science, in particular, in the area of formal languages and automata theory; to concurrency theory, in particular, Petri nets; and to natural computing, in particular bio-inspired computing and the computational modeling of bio-processes. A significant part of Professor Kleijn?s research portfolio is interdisciplinary, including her work on the Petri net modeling of biological processes and the development of novel models of information processing in bio-systems such as reaction systems. She is also passionately engaged in promoting the involvement of women in computer science.00Jetty and her work are well-recognized by the scientific community, a fact demonstrated by the enthusiastic response to the invitation to contribute to this book, and the 14 carefully refereed papers collected together here explore a number of research topics that are either directly or indirectly related to research directions pursued by Jetty Kleijn in the course of her career.-- Source other than the Library of Congress.

Contents:

Intro

Title Page

Preface

Contents

Discovering Object-centric Petri Nets

Comparing Degenerate Strings

Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks

Target-oriented Petri Net Synthesis

Flexible Process Model Mapping using Relaxation Labeling

Stop-transitions of Petri Nets

Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata

Companions and an Essential Motion of a Reaction System

On Shuffling a Word with its Letter-to-Letter Substitution

Multi-valued Verification of Strategic Ability

Algebraic Structure of Step Traces and Interval Traces

Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets

A Theory of Distributed Markov Chains

L-systems from 3D-imaging of Phenotypes of Arborized Structures

Subject Index

Author Index.

Notes:

Description based on publisher supplied metadata and other sources.

ISBN:

9781643681399

1643681397

OCLC:

1239985699