A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
| Hi-index | 0.00 |
The paper concerns a class of task-oriented simulation models for discrete event systems. Systems are considered, in which arriving tasks are executed in alternative ways, according to the actual state of particular system resources. The models are based on Petri nets, with extensions including informative aspects of modeled processes as well as timing and decisionmaking rules. Model structure and behavior conform to realities of railway control. Similar models can be helpful in investigating different types of systems executing tasks by means of distributed sets of resources with dynamically changing availability. In particular they are suitable for modeling reliability behavior of control systems, built of re-configurable modules.