Malika Boukala

Learn More
In order to design and analyse complex real time systems, we improve the communication mechanism of Time Recursive Petri Net model that we have proposed in previous works. We have used our extended model, named Time ERP N + , to check the temporal coherence of SMIL documents. This paper presents ongoing work where special attention is given to the(More)
  • 1