Algorithm for generalized net functioning

Below we will describe the most general algorithm for the generalized net functioning.

For this purpose, we will introduce the concept of Abstract Transition (AT). This is a GN tranition represented as the union of all active GN-transitions at a given time-moment. For its construction the operation "union" of transitions is used (see Operations and relations over generalized nets).

Step B01	Put all tokens α, for which θK(α) ≤ T, into the corresponding input places of the net.
Step B02	Construct the GN's Abstract Transition (initially it is empty).
Step B03	Check whether the value of the current time is less than T + t*.
Step B04	If the answer to the question on Step B03 is "no", terminate the process of GN functioning.
Step B05	Check all transitions for which the first time-component is exactly equal to the current time-moment.
Step B06	Check the transition's types of all transitions determined by B05. The method of checking is as follows: Change the names of all places which participate in the Boolean expression of the transition type as variables with values: 0, if the corresponding place has no tokens at the current moment; 1, otherwise; Calculate the truth value of the so obtained Boolean expression.
Step B07	Add all transitions from Step B06, for which the transition types are satisfied by the Abstract Transition.
Step B08	Apply the algorithm for transition functioning over the Abstract Transition.
Step B09	Remove from the Abstract Transition all transitions, which are inactive at the current time-moment.
Step B10	Increase the current time with t0.
Step B11	Go to Step B03.

This algorithm helps us to realize the different subprocesses (which exist in the frames of the most global modelled process) on the level of places, while analogous processes in other nets are modelled on the level of transitions. Moreover, the places are sorted by their priorities while in other nets this is not the case. Therefore, the sequence of the process realization by generalized nets is performed on the level of places (from different active transitions). Furthermore, when some places have equal priority, the tokens' transfer is related to the tokens' priorities, which is difficult to achieve in other nets.

This algorithm was described in the "Generalized Nets" from 1991 year and "On Generalized Nets Theory" from 2007 year .