Séminaire APR
Observation Petri nets
Tuesday, March 10, 2026Chana 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 Petri nets, the nets in which the only possible form of synchronization is observation. We study the complexity of analysis problems for this class. In particular we consider verification problems parameterized by the number of tokens (or processes) in the Petri net. We show that observation PN are "good for parameterized verification". We discuss applications of these results, and open on some research problems.
Antoine.Mine (at)
nulllip6.fr