LSV Seminar
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.
Past Seminars
Small universal Petri nets with inhibitor arcs
- Date
- Tuesday, May 12 2015 at 11:00AM
- Place
- Salle de Conférence (Pavillon des Jardins)
- Speaker
- Serghei Verlan (LACL, Université Paris 12)
We investigate the problem of the construction of small-size universal Petri nets with inhibitor arcs. We consider four descriptional complexity parameters: the number of places, transitions, inhibitor arcs, and the maximal degree of a transition. Each of these parameters is aimed to be minimized, a special attention being given to the number of places. We give several constructions that highlight interesting trade-offs. Using equivalencies between models our results can be translated to vector addition systems with zero check, multiset rewriting with forbidding conditions, or to P systems with inhibitors.