Conference item icon

Conference item

Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States

Abstract:

This paper studies sets of rational numbers definable by continuous Petri nets and extensions thereof. First, we identify a polynomial-time decidable fragment of existential FO(Q, +, <) and show that the sets of rationals definable in this fragment coincide with reachability sets of continuous Petri nets. Next, we introduce and study continuous vector addition systems with states (CVASS), which are vector addition systems with states in which counters may hold non-negative rational values,...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1109/LICS.2017.8005068

Authors


Blondin, M More by this author
Publisher:
Institute of Electrical and Electronics Engineers Publisher's website
Publication date:
2017-08-18
Acceptance date:
2017-03-22
DOI:
ISSN:
1043-6871
Pubs id:
pubs:692252
URN:
uri:1362a013-35b8-4ca4-85fd-7744e9e2fba1
UUID:
uuid:1362a013-35b8-4ca4-85fd-7744e9e2fba1
Local pid:
pubs:692252

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP