Nets of active resources
Abstract
In this work nets of active resources (AR-nets) are presented. This is a generalization of Petri nets (ordinary and Super-dual) with a single type of nodes and two types of arcs (consuming and producing). Each node may contain a number of tokens (resources), that can be consumed or produced by "firings" of other tokens (location of consumed/produced resources is defined by corresponding arcs). So, in this model the same token may be considered as a passive resource (produced or consumed by agents) and an active agent (producing or consuming resources) at the same time.
The expressive power of AR-nets and two modified models is studied. It is shown, that AR-nets and AR-nets with simple firing are equivalent to ordinary Petri nets. AR-nets with simultaneous firing are strictly more expressive.
The expressive power of AR-nets and two modified models is studied. It is shown, that AR-nets and AR-nets with simple firing are equivalent to ordinary Petri nets. AR-nets with simultaneous firing are strictly more expressive.
References
1. Котов, В.Е. Сети Петри / В.Е. Котов. - М.: Наука, 1984.
2. Ломазова, И.А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой / И.А. Ломазова. - М.: Научный мир, 2004.
3. Dufourd, C. Reset nets between decidability and undecidability / C. Dufourd, A. Finkel, Ph. Schnoebelen. // LNCS 1443. - Springer, 1998. - P.103-115.
4. Jensen, K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use / K. Jensen. - Springer, 1994.
5. Kohler, M. Super-Dual Nets / M. Kohler, H. Rolke // Proc. of CS&P'2005. - Warsaw, 2005. - P.271-280.
Review
For citations:
Bashkin V.A. Nets of active resources. Modeling and Analysis of Information Systems. 2007;14(4):13-19. (In Russ.)
Views:
474
Email this article 