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-62023Autre Accès ferméPlusieurs sources 1
Mohammed L. Lamouri
1
Productions
1
Citations
1
Indice h
Noter ce chercheurPas encore noté
La moyenne apparaît à partir de 3 avis.
Collaborations and top research areas
Cliquez sur les points pour afficher les détails ou sélectionnez un pays dans la liste
Empreinte
Tout voirConcepts pondérés extraits des titres, résumés et thématiques des productions, groupés par domaine.
- Petri Nets in System Modeling
- Business Process Modeling and Analysis
- Model-Driven Software Engineering Techniques
- discrete event systems
- Petri nets
- rewriting logic
- complex dynamics
- firing rules
- formal semantics
- Computational Theory and Mathematics