Login / Signup

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

Ammar BoucheritKamel BarkaouiMohammed Lamine Lamouri
Published in: ICNSC (2023)
Keyphrases
  • complex systems
  • discrete event systems
  • high level
  • petri net
  • probabilistic model
  • mathematical models
  • qualitative models
  • computational complexity
  • dynamic programming
  • logic programming
  • semantic information