P. Meyer. Technical University of Munich, Germany, Publication, (2021)
Аннотация
We develop constraint-based procedures to analyze safety, liveness and quantitative properties of certain models of distributed systems, especially Petri nets, population protocols and workflow nets. These procedures are incomplete in general, but have a lower complexity than the general problem and succeed on many practical instances or relevant subclasses of the model. We also show new complexity and decidability
results for quantitative properties of workflow nets.
%0 Thesis
%1 phd/dnb/Meyer21
%A Meyer, Philipp K. J.
%D 2021
%K thesis
%T Constraint-based Analysis of Distributed Systems
%X We develop constraint-based procedures to analyze safety, liveness and quantitative properties of certain models of distributed systems, especially Petri nets, population protocols and workflow nets. These procedures are incomplete in general, but have a lower complexity than the general problem and succeed on many practical instances or relevant subclasses of the model. We also show new complexity and decidability
results for quantitative properties of workflow nets.
@phdthesis{phd/dnb/Meyer21,
abstract = {We develop constraint-based procedures to analyze safety, liveness and quantitative properties of certain models of distributed systems, especially Petri nets, population protocols and workflow nets. These procedures are incomplete in general, but have a lower complexity than the general problem and succeed on many practical instances or relevant subclasses of the model. We also show new complexity and decidability
results for quantitative properties of workflow nets.},
added-at = {2021-04-16T18:12:51.000+0200},
author = {Meyer, Philipp K. J.},
biburl = {https://www.bibsonomy.org/bibtex/22e97a11558be32fa8d8cc3bb68cd3b83/paves},
interhash = {3634c91a1d016f7e23677941f0018b59},
intrahash = {2e97a11558be32fa8d8cc3bb68cd3b83},
keywords = {thesis},
school = {Technical University of Munich, Germany},
timestamp = {2023-09-24T19:39:53.000+0200},
title = {Constraint-based Analysis of Distributed Systems},
type = {Publication},
year = 2021
}