Pipe plugin for hybrid Petri Nets visual simulation of wireless sensor networks

Abstract

This paper presents an overview of proposed plugin for adding feature of modeling hybrid petri nets for Platform-Independent Petri Net Editor (PIPE), an open-source tool that supports the design and analysis of Generalized Stochastic Petri Net (GSPN) models. Petri nets are a widely used formalism for the analysis of concurrent systems and as such there are a lot of existing tools which allow users to edit, animate and analyze a range of Petri net classes. PIPE ’s extensible design enables developers to add functionality via pluggable analysis modules. It also acts as a front-end for a parallel and distributed performance evaluation environment.