Theory and Applications of Models of Computation 1st ed. 2020. Cham : Springer International Publishing, 2020 (2020), Seite 226-238 1 Online-Ressource(XI, 454 p. 240 illus., 33 illus. in color.)
Algorithms & Theories for the Analysis of Event Data (Veranstaltung : 2020 : Online) Workshop on Algorithms & Theories for the Analysis of Event Data (ATAED'2020) [Aachen, Germany] : [RWTH Aachen], 2020 (2020), Seite 66-84 1 Online-Ressource
Application and Theory of Petri Nets and Concurrency 1st ed. 2020. Cham : Springer International Publishing, 2020 (2020), Seite 89-108 1 Online-Ressource(XI, 437 p. 491 illus., 49 illus. in color.)
Transactions on Petri Nets and Other Models of Concurrency XIV 1st ed. 2019 Berlin, Heidelberg : Springer, 2019 (2019), Seite 172-191 1 Online-Ressource (XVII, 255 p. 525 illus., 42 illus. in color)