Vector addition system
Mathematical modeling language / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Vector addition system?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.
Reachability in vector addition systems is Ackermann-complete (and hence nonelementary).[3][4]