PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description

Abstract

Abstract. Discrete-event systems have gained a lot of interest due to their wide range of applications. SDES is a unified description for stochastic discreteevent systems. The aim is to use this description as a basis of a new multiformalism modeling framework. In this paper, we introduce PDETool, which is based on SDES description. This modeling tool provides features for construction and translation of models into the XML-based input language of an SDES-based simulation engine that is developed for this purpose. Currently, we have implemented some useful extensions of Petri nets, such as stochastic Petri nets (SPNs), stochastic reward nets (SRNs) and stochastic activity networks (SANs) in this framework. PDETool is easily extensible to support a wide range of graphical and non-graphical formalisms. Furthermore, it facilitates the construction, animation and simulation of models. This tool has some advantages over the existing multi-formalism modeling and simulation tools, which will be mentioned in this paper.

A new technique for rare-event simulation based on partition of the region

“…In the future, we intend to propose an automated method, or at least minimize the need for an expert for partitioning. In addition, we are going to implement PoR methods in SimGine [24,32], which is a simulation engine for SDESs that we have used in PDETool.…”

“…SANs [13,21], as a general and stochastic extension of Petri nets, are powerful and flexible models for concurrent and distributed systems. These models are supported by several powerful modeling tools, such as UltraSAN [22], Möbius [23], and PDETool [24].…”

Parallel processing of continuous queries over data streams

“…The model is implemented in PDETool [17] and all the experiments were run on a dedicated dual processor Alpha machine with 2GB of RAM. Algorithm presented in this paper (that improve query processing speed via parallelism) is compared with ordinary serial query processing (Serial-means without parallelism) [8] and also with the Min-Latency scheduling algorithm used in the Aurora DSMS prototype [18].…”

“…Colored stochastic activity networks (CSANs) are a high-level extension of SANs which provide features for hierarchical modeling and data manipulation by introducing macro activity and colored place [16]. For modeling purpose, we have used PDETool [15,17] which is an extensible multi-formalism modeling and simulation framework that currently supports CSAN in addition to some other stochastic extensions of Petri nets. Figure 9 shows our systems' PetriNets model.…”

SimGine: A simulation engine for stochastic discrete-event systems based on SDES description

“…The SimGine GUI makes the modelers able to work with SDES models (as the input language of SimGine) and, as mentioned before, for working with high-level models, we need another application to build models and translate them into SDES. In this direction, we have also developed PDETool 21 as an extensible modeling tool to build graphical and textual models and automatically translate them into the input language of SimGine. The aim of the tool is to provide some features for the construction of models and translating them into the input language of SimGine.…”