Communication with Automata

Talk by Stephan Mennicke

Location: Online
Start: 19. May 2022 at 11:00 am
End: 19. May 2022 at 12:00 pm
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