A mosaic of computational topics : from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday /
A mosaic of computational topics : from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday /
edited by Maurice H. ter Beek, Maciej Koutny, and Grzegorz Rozenberg.
- Amsterdam : IOS Press, (c)2020.
- 1 online resource (362 pages)
Includes bibliographies and index.
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
9781643681399
Petri nets.
Computer science--Mathematics.
Electronic Books.
QA267 / .M673 2020
Includes bibliographies and index.
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
9781643681399
Petri nets.
Computer science--Mathematics.
Electronic Books.
QA267 / .M673 2020