Vector addition system
id:
vector-addition-system-237-18445072
title:
Vector addition system
text:
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, and generalized to vector addition systems with states (VASS) by John E. Hopcroft and Jean-Jacques Pansiot in 1979. Both VAS and VASS are equivalent in many ways to Petri nets introduced earlier by Carl Adam Petri. Reachability in vector addition systems is Ackermann-complete.
brand slug:
wiki
category slug:
encyclopedia
description:
Mathematical modeling language
original url:
https://en.wikipedia.org/wiki/Vector_addition_system
date created:
date modified:
2023-12-10T21:31:52Z
main entity:
{"identifier":"Q25303784","url":"https://www.wikidata.org/entity/Q25303784"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/7/79/Vector_addition_with_states.svg","width":171,"height":96}
fields total:
13
integrity:
15