Research output
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics
Ammar Boucherit, Kamel Barkaoui, Mohammed L. Lamouri
Volume 1، Pages 1-62023Other Closed accessSeveral sources 1
PN2Maude: An automatic tool to generate Maude specification for Petri net models
Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan
Towards an Organizational Approach for an Advanced Agricultural Information System (AAIS)
International Journal of Organizational and Collective IntelligenceVolume 12، (1)، Pages 1-202022Article Closed access 1