Nicolas Trèves

According to our database, Nicolas Trèves authored at least 6 papers between 1988 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

A New Approach for Automatic Development of Reconfigurable Real-Time Systems.

Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Trèves

Proceedings of the Software Technologies, 11th International Joint Conference, 2016

MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems.

Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Trèves

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

2010

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.

Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

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

Proceedings of the American Control Conference, 2009

2006

PN Standardisation: A Survey.

Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

1988

A comparative study of different techniques for semi-flows computation in place/transition nets.

Nicolas Trèves

Proceedings of the Advances in Petri Nets 1989, 1988