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

Visit website for this news | Export event in iCalendar format

 Serghei Verlan
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.


About LSV

Agenda

Export agenda in iCalendar format | Past seminars

Tue, Jan 22
Tue, Jan 29
Tue, Feb 5
Tue, Feb 19

Past seminars