2026-3-10
2:00 下午 :
Observation Petri nets
Chana Weil-Kennedy (CEA LIST)
We study a communication feature of distributed systems called observation, in which an agent of the system changes states upon observation of another agent - this is a case of weak synchronization, present for example in mobile sensor networks. We study the class of observation …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Celebrate “75 years of computer science in France”
From CNRS Institut Blaise Pascal to LIP6