A Petri Net-based Approach to Modeling and Analysis of Component-based Distributed Real-Time Systems

X. Hei, H. Mochizuki, S. Takahashi, and H. Nakamura (Japan)


Distributed real-time systems; Petri Nets; Components; Distributed railway interlocking system.


Research, development, and applications of distributed real-time control systems have grown immensely in re cent years. However, increasing complexity, rising costs, and demands for high reliability have made it necessary to adopt component concepts in traditional distributed real time systems, an approach which can also drastically im prove system reusability. In this paper, we propose a for mal approach which combines Generalized Stochastic Petri Nets (GSPN) and G-nets (a Petri Net extended with object oriented concepts) to model and evaluate the performance of component-based distributed real-time systems. The components and their modules are standardized and mod eled with G-nets, whereas the whole system is modeled with GSPN in order to describe its stochastic and concur rent characteristics. We apply the approach to a new Dis tributed Railway Interlocking System (DRIS), which is a real-time, safety-critical control system.

Important Links:

Go Back