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(ℚ,+,;) and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results