Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Коллоквиум Факультета компьютерных наук НИУ ВШЭ
18 сентября 2014 г. 16:40–18:00, г. Москва, Покровский бульвар 11
 


True concurrency - from C.A. Petri to Telecom and Systems Biology

Stefan Haar

École normale supérieure de Cachan
Дополнительные материалы:
Adobe PDF 5.6 Mb

Количество просмотров:
Эта страница:738
Материалы:86
Youtube:



Аннотация: Some circles, squares and arrows, plus some black dots moving along: that is all it takes to build a Petri net. These nets are a mathematical tool and model for dynamical systems generally considered to be “at home” in computer science. However, a great deal of the theory of Petri nets and of the concurrency (describing asynchronous parallel processes) which they involve, had been developed for and inspired by the understanding of physical processes, building upon principles from chemical reactions, and both relativistic and quantum physics.
It is fair to say that Petri nets are not only intuitive, but also fertile for many fields; in this talk, I will illustrate this in the contexts of physics, engineering, and biology, reflecting in some sort the evolution that the field has taken over the past 50 years.

Дополнительные материалы: colloq_hse_moscow_haar_18_9_14.pdf (5.6 Mb)

Язык доклада: английский

Website: https://www.lsv.ens-cachan.fr/~haar
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024