Active Index System
The Active Index is an extended Petri net model.
Instead of having fixed connections between
places and transitions, the active index allows
index cells to be instantiated as they
are needed.
Therefore, one index cell can send a message to another
index cell type. If no appropriate index cell instance exists,
an index cell will be instantiated.
For example, if an enumerator index cell wants to
create several hundred solution index cells,
it can send messages to instantiate such solution
index cells.
In what follows, we will first give the formal
definitions of an active index cell, and
then present an example of a simple active
index system for distance learning.