Section: Software and Platforms

Nicotine

Participant : Sylvain Soliman.

Nicotine is a Prolog framework dedicated to the analysis of Petri nets. It was originally built for the computation of invariants using GNU Prolog's CLP(FD) solver but has been further extended to allow import/export of various Petri nets formats. In 2013 it was ported to SWI Prolog , in order to use its more general FD solver for the satisfaction of the min-plus constraints coming from the tropical equilibration problem [13] .