11:00
12:00

Mohammed Dlimi (Bordeaux-INP; LaBRI (internship))

Title: Thresholds in bounded BIO Petri nets

Abstract:

Mohammed Dlimi will present the results on thresholds for boundedness of Branching Immediate Observation systems. BIO Petri nets have transitions where only one place is an input but not an output, but multiple places can be outputs, or inputs and outputs with the same multiplicity. In terms of protocols, this corresponds to finite-state agents that can observe each other and change the local state, finish the excution or create new agents; while observees stay unaware of being observed. A BIO system (with a fixed initial configuration) is bounded if only a finite number of configurations can be reached.

Two questions were studied during the internship. Specifically, how many tokens can be created within a bounded BIO system of a given size, and how few tokens are needed to demonstrate an unbounded token-producing loop if one exists. The answers to these questions will be presented in the talk.

https://algodist.labri.fr/index.php/Main/GT

LaBRI 178