Please use this identifier to cite or link to this item: http://archives.univ-biskra.dz/handle/123456789/13204
Title: A Tool for Modeling and Simulating High Level Petri Nets
Other Titles: informatique
Authors: merabti, samah
Issue Date: 20-Jun-2019
Abstract: 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.
URI: http://archives.univ-biskra.dz/handle/123456789/13204
Appears in Collections:Faculté des Sciences Exactes et des Science de la Nature et de la vie (FSESNV)

Files in This Item:
File Description SizeFormat 
merabti_samah.pdf3,41 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.