Mohammed Lamine Lamouri

According to our database, Mohammed Lamine Lamouri authored at least 2 papers in 2023.

Collaborative distances:

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

2023

PN2Maude: An automatic tool to generate Maude specification for Petri net models.

Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan

Comput. Sci. J. Moldova, 2023

A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics.

Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023