Nets of active resources
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 "...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2007-12-01
|
| Series: | Моделирование и анализ информационных систем |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1141 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|---|
| ISSN: | 1818-1015 2313-5417 |