Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States.

Petr Jancar Jérôme Leroux Grégoire Sutre

Published in: Petri Nets (2018)

Keyphrases

management system
intelligent systems
real time
case study
distributed systems
computer systems
data sets
databases
information retrieval
artificial intelligence
social networks