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
Mohammed L. Lamouri
1
Research output
1
Citations
1
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
Collaborations and top research areas
Click dots and donuts to bring up details or select a country/territory from the list
Fingerprint
View allWeighted concepts mined from titles, abstracts and topics of the research output, grouped by field.
- 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