The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Tissue systems are a computational abstraction of the chemical reactions and transport of molecules in a tissue. The talk will consider the problem of synthesising tissue systems from specifications of observed or desired behaviour given in the form of transition systems. The talk will show how a Petri net solution to this problem, based on the notion of regions, yields a method for automated synthesis of tissue systems from transition systems. It will be first assumed that the input of the algorithm contains information about the topology of the system to be constructed, and then the case when such a topology is not known in advance and has yet to be determined will be discussed.