Djaouida Dahmani

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)
Composition of heterogeneous software components is required in many domains to build complex systems. However, such compositions raise mismatches between components. Software adaptation aims at generating adaptors to correct mismatches between components to be composed. In this paper, we propose a formal approach based on Petri nets which relies on mapping(More)
  • 1