**16-17 May 2019 • Sofia, Bulgaria**

**Submission:**1 February 2019 •

**Notification:**1 March 2019 •

**Final Version:**1 April 2019

# Transition

**Transition** in the context of generalized nets is an object from the static structure of the net, which comprises the conditions of tokens' transfer from the transition's input places to its output places.

When tokens enter the input place of a transition, it becomes *potentially fireable* and at the moment of their transfer towards the transition's output places, the transition is being *fired*.

The tokens' transfer through a transition is described by a special formal algorithm.

## Formal description

Formally, every transition is described by a 7-tuple:

where:

- are finite, non-empty sets of places: the transition's input and output places, respectively.
- is the current time-moment of the transition's firing.
- is the current value of the duration of its active state.
- is the transition's
*condition*, determining which tokens will transfer from the transition's inputs to its outputs. The parameter has the form of an index matrix:- where are predicates,

- is the index matrix of the capacities of the transition's arcs:
- where are natural numbers or ,

- is called transition's type, an object having a form similar to a Boolean expression. It may contain as variables the symbols that serve as labels for transition's input places, and it is an expression constructed of variables and the Boolean connectives and determining the following conditions:
- - each of the places must contain at least one token,
- - there must be at least one token in the set of places where
- When the value of a type (calculated as a Boolean expression) is
*"true"*, the transition can become active, otherwise it cannot.

## References

- On Generalized Nets Theory, Krassimir Atanassov, Prof. Marin Drinov Academic Publishing House, Sofia, 2007