TY - THES AU - Beckers, Lars TI - A petri net semantics for boolean-logic driven markov processes PB - RWTH Aachen University VL - Masterarbeit CY - Aachen M1 - RWTH-2021-04250 SP - 55 Seiten PY - 2020 N1 - Masterarbeit, RWTH Aachen University, 2020 LB - PUB:(DE-HGF)19 UR - https://publications.rwth-aachen.de/record/818013 ER -