A Tool For Modeling And Simulating High Level Petri Nets
Résumé: The Recon gurable Object Petri Nets (RONs) are formal models of High-Level modeling for dynamic systems. In recent years, the model has been proposed and used for modeling several recon gurable systems ; however, it su ers like most high-level formalism from the lack of implementation. There have been some attempts to provide tools to bridge this gap. Nevertheless, the proposed tools are not e ective, as they often contain bugs or simply unavailable for developers. The objective of this project is to provide a tool to model, to simulate and to verify the RON formalism.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
