Communication with Automata

Vortrag von Stephan Mennicke

Veranstaltungsort: Online
Beginn: 19. Mai 2022 um 11:00
Ende: 19. Mai 2022 um 12:00
Event series: Research Seminar Logic and AI
iCal

In this talk I will give an overview on the basic notions of Petri nets, in order to derive two results and their proofs. The selection of the particular results is (1) a personal choice (because I like them) and (2) taught in the course "Models of Concurrent Systems" (apparently also known as "Concurrency Theory") this semester.

The talk is online,

Link: https://bbb.tu-dresden.de/b/ali-zgz-l8d-52n