Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Colloquium of the Faculty of Computer Science
September 18, 2014 16:40–18:00, Moscow
 


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

Stefan Haar

École normale supérieure de Cachan
Supplementary materials:
Adobe PDF 5.6 Mb

Number of views:
This page:738
Materials:86
Youtube:



Abstract: 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.

Supplementary materials: colloq_hse_moscow_haar_18_9_14.pdf (5.6 Mb)

Language: English

Website: https://www.lsv.ens-cachan.fr/~haar
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024