Nets of active resources
Modelirovanie i analiz informacionnyh sistem, Tome 14 (2007) no. 4, pp. 13-19
Citer cet article
Voir la notice de l'article provenant de 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.
[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