Vector addition system

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).

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.

单词	Vector Addition System
释义	Vector Addition System 英语百科 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, 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.
随便看	prerupt的意思 prerupt的意思 prerupture的意思 prerupture flow的意思 prerupture response的意思 prerut的意思 pres.的意思 Pres的意思 presa的意思 Presa Canario的意思 Presacral的意思 presacral anesthesia的意思 presacral block的意思 presacral dermoid cyst的意思 presacral insufflation的意思 Presacral nerve的意思 presacral neurectomy的意思 presacral neurotomy的意思 presacral plexus的意思 presacral pneumoretroperitoneum的意思 Presacral region的意思 presacrals的意思 Presacral space的意思 Presacral sympathectomy的意思 presacral teratoma的意思

Vector Addition System

Vector addition system