Back to Results
First PageMeta Content
Petri net / Reachability / FO / Applied mathematics / Computer science / Theoretical computer science / Concurrency / Diagrams


REACHABILITY IN TWO-DIMENSIONAL VECTOR ADDITION SYSTEMS WITH STATES IS PSPACE-COMPLETE arXiv:1412.4259v1 [cs.FL] 13 Dec,‡,§ , CHRISTOPH HAASE2,†,§ ,
Add to Reading List

Document Date: 2015-04-13 05:39:26

Open Document

File Size: 569,20 KB

Share Result on Facebook

City

CNRS / Montre ´al / Paris / /

Company

VASS / REACHABILITY IN TWO-DIMENSIONAL VECTOR ADDITION SYSTEMS / Vector Addition Systems / Let us / /

Country

Germany / Canada / /

/

IndustryTerm

constructed systems / addition systems / intricate algorithm / /

Organization

Canada Universite / Natural Sciences and Engineering Research Council of Canada / French Centre / Ecole Polytechnique / /

Person

Carl Adam Petri / STEFAN GOLLER / /

Position

author / finite-state controller / /

Technology

intricate algorithm / /

SocialTag