A petri net semantics for boolean-logic driven markov processes

Beckers, Lars; Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor); Khan, Shahid (Consultant)

Aachen (2020)
Master Thesis

Masterarbeit, RWTH Aachen University, 2020