A Tool for Modeling and Simulating High Level Petri Nets

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.