Vector addition system

A vector addition system (VAS) is one of several mathematical modeling languages for the description of distributed systems. Vector addition systems were introduced by Richard M. Karp and Raymond E. Miller in 1969,[1] and generalized to vector addition systems with states (VASS) by John E. Hopcroft and Jean-Jacques Pansiot in 1979.[2] Both VAS and VASS are equivalent in many ways to Petri nets introduced earlier by Carl Adam Petri.

Example of a vector addition with states. In this VASS, e.g., q(1,2) can be reached from p(0,0), but q(0,0) cannot be reached from p(0,0).

Informal definition

A vector addition system consists of a finite set of integer vectors. An initial vector is seen as the initial values of multiple counters, and the vectors of the VAS are seen as updates. These counters may never drop below zero. More precisely, given an initial vector with non negative values, the vectors of the VAS can be added componentwise, given that every intermediate vector has non negative values. A vector addition system with states is a VAS equipped with control states. More precisely, it is a finite directed graph with arcs labelled by integer vectors. VASS have the same restriction that the counter values should never drop below zero.

Formal definitions and basic terminology

  • A VAS is a finite set for some .
  • A VASS is a finite directed graph such that for some .

Transitions

  • Let be a VAS. Given a vector , the vector can be reached, in one transition, if and .
  • Let be a VASS. Given a configuration , the configuration can be reached, in one transition, if and .
gollark: This would only be better if workers would be allowed to decide between themselves to work, and by means of political means they would have a higher power. The chief representative and classical type of this tendency is Mr Karl Gruen. In particular, it may be seen that at work it is not possible to produce more workers and more people, if this is the case. Bourgeois Socialism attains adequate expression when, and only when, it becomes a mere figureof speech. It is an attitude which allows the individual to express his own mind without any kind of form of communication, but can be regarded as a mere expression of the mind.
gollark: If I post a large wall of text, it is *generally* copied off the internet.
gollark: Heav.
gollark: In some sense.
gollark: You clearly are not conversing properly.

See also

References

  1. Karp, Richard M.; Miller, Raymond E. (May 1969). "Parallel program schemata". Journal of Computer and System Sciences. 3 (2): 147–195. doi:10.1016/S0022-0000(69)80011-5.
  2. Hopcroft, John E.; Pansiot, Jean-Jacques (1979). "On the reachability problem for 5-dimensional vector addition systems". Theoretical Computer Science. 8 (2): 135–159. doi:10.1016/0304-3975(79)90041-0. hdl:1813/6102.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.