Kolokwium Wydziału MIM UW

Sieci Petriego to stosunkowo prosty model obliczeń, a przy tym wciąż słabo zrozumiany ze strony teoretycznej i przez to ciekawy. Opowiem o problemie osiągalności w sieciach Petriego, który pyta, czy zaczynając z zadanej konfiguracji początkowej można osiągnąć zadaną
konfigurację końcową po skończonej liczbie ruchów. Pokażę, że problem ten pomimo prostego sformułowania jest dalece nietrywialny...