Medesu Sogbohossou

ε-TPN: definition of a Time Petri Net formalism simulating the behaviour of the timed grafcets

Antoine Vianou, Medesu Sogbohossou, 2019, ARIMA J..

Model checking sur les grafcets via une traduction en réseaux de Petri temporels

Medesu Sogbohossou, Emery Assogba, Rodrigue Yehouessi, 2016 .

Unfolding of time Petri nets for quantitative time analysis

Medesu Sogbohossou, David Delfieu, D. Delfieu, 2009 .

Embedding time Petri nets

Antoine Vianou, Medesu Sogbohossou, Maurice Comlan, 2017, 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT).

Formal Modeling of Grafcets With Time Petri Nets

Antoine Vianou, Medesu Sogbohossou, 2015, IEEE Transactions on Control Systems Technology.