Skip to search formSkip to main contentSkip to account menu

Vector addition system

Known as: VAS, Vass, Vector addition system with states 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Communicating finite-state machineDirected graphFormal verificationPetri net

Broader (1)

Concurrency (computer science)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Effect of feeding treated peat as a supplement to newborn piglets on the growth, health status and occurrence of conditionally pathogenic mycobacteria
The first purpose of this experiment was to investigate the effect of ad libitum feeding of peat as a supplement to piglets from… 
2015
2015
Nested Timed Automata with Frozen Clocks
A nested timed automaton (NeTA) is a pushdown system whose control locations and stack alphabet are timed automata (TAs). A… 
2014
2014
In Defense of Norm Circles: A New Normative Foundation for Adult Education
According to Michael Welton, because of its capacity to support social learning, critical adult education has a pivotal role to… 
2013
2013
On the Context-Freeness Problem for Vector Addition Systems
Petri nets, or equivalently vector addition systems (VAS), are widely recognized as a central model for concurrent systems. Many… 
2010
2010
Pollination ecology of the rare desert species Eremosparton songoricum (Fabaceae)
The pollination ecology of Eremosparton songoricum (Litv.) Vass., a rare desert species endemic to central Asia, was examined by… 
2008
2008
The Einstein@Home search for periodic gravitational waves in LIGO S4 data
A search for periodic gravitational waves, from sources such as isolated rapidly-spinning neutron stars, was carried out using… 
2006
2006
Gender transformed and meta-gendered enlightenment: Reading Buddhist narratives as paradigms of inclusiveness
The analysis of the crossing of genders within Buddhist narratives, as contrasted with Hindu evidence, provides a fresh insight… 
2005
2005
Extraction of Hydrophobic Organics from Aqueous Samples with 90mm C18 Bonded Disks
Technological advances in hardware, software, and computing have resulted in sophisticated analytical instruments that are highly… 
1997
1997
Checklist of the subfamily Aphidiinae (Hymenoptera: Braconidae) from Bulgaria
A checklist of the Aphidiinae (Hymenoptera: Braconidae) from Bulgaria is given; eight reared species are reported of being new to… 
1982
1982
Stationary Properties of Timed Vector Addition Systems
Vector addition systems, initially introduced by Karp and Miller, have been very successfully used for the description of complex… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)