Implementation of Coloured Stochastic Activity Networks within the PDETool Framework

摘要

The aim has been to develop a modeling tool for coloured stochastic activity networks (CSANs). CSANs are a high-level extension of stochastic activity networks (SANs) which provide features for hierarchical modeling and data manipulation by introducing coloured place and macro activity. SDES is an abstract unified description for stochastic discrete-event systems. PDETool is a multi-formalism modeling framework which provides features for construction and translation of models into the XML-based input language of an SDES-based simulation engine, called SimGine. PDE Tool is easily extensible to support a wide range of graphical and non-graphical formalisms. Furthermore, it facilitates the construction, animation and simulation of models. A formalism can be implemented in PDE Tool if a mapping can be provided to the input language of SimGine. In this paper, we describe the implementation of CSANs in the PDE Tool framework by developing a graphical user interface for model construction and a translator of models into the input language of SimGine.