Nets of active resources
Modelirovanie i analiz informacionnyh sistem, Tome 14 (2007) no. 4, pp. 13-19
Cet article a éte moissonné depuis la source Math-Net.Ru
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.
@article{MAIS_2007_14_4_a2,
author = {V. A. Bashkin},
title = {Nets of active resources},
journal = {Modelirovanie i analiz informacionnyh sistem},
pages = {13--19},
year = {2007},
volume = {14},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MAIS_2007_14_4_a2/}
}
V. A. Bashkin. Nets of active resources. Modelirovanie i analiz informacionnyh sistem, Tome 14 (2007) no. 4, pp. 13-19. http://geodesic.mathdoc.fr/item/MAIS_2007_14_4_a2/
[1] V. E. Kotov, Seti Petri, Nauka, M., 1984 | MR
[2] I. A. Lomazova, Vlozhennye seti Petri: modelirovanie i analiz raspredelennykh sistem s ob'ektnoi strukturoi, Nauchnyi mir, M., 2004 | MR
[3] C. Dufourd, A. Finkel, Ph. Schnoebelen, “Reset nets between decidability and undecidability”, LNCS, 1443, Springer, 1998, 103–115 | MR | Zbl
[4] K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Springer, 1994
[5] M. Kohler, H. Rolke, “Super-Dual Nets”, Proc. of CS'2005, Warsaw, 2005, 271–280