A comparative study of different techniques for semi-flows computation in place/transition nets. - Nicolas Trèves (European Workshop on Applications and Theory in Petri Nets, 1988)

PN Standardisation: A Survey. - Lom Hillah; Fabrice Kordon; Laure Petrucci-Dauchy; Nicolas Trèves (FORTE, 2006)

Efficient state-based analysis by introducing bags in Petri nets color domains. - Serge Haddad; Fabrice Kordon; Laure Petrucci; Jean-François Pradat-Peyre; Nicolas Trèves (ACC, 2009)

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. - Lom-Messan Hillah; Fabrice Kordon; Laure Petrucci; Nicolas Trèves (Petri Nets, 2010)

MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Nicolas Trèves (ICSOFT-EA, 2016)

A New Approach for Automatic Development of Reconfigurable Real-Time Systems. - Wafa Lakhdhar; Rania Mzid; Mohamed Khalgui; Nicolas Trèves (ICSOFT (Selected Papers), 2016)