On Functions Weakly Computable by Petri Nets and Vector Addition Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

J. LeRoux, Ph. Schnoebelen. On Functions Weakly Computable by Petri Nets and Vector Addition Systems. In Joël Ouaknine, Igor Potapov, James Worrell, editors, Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings. Volume 8762 of Lecture Notes in Computer Science, pages 190-202, Springer, 2014. [doi]

The following publications are possibly variants of this publication:

On Functions Weakly Computable by Pushdown Petri Nets and Related SystemsJérôme Leroux, M. Praveen, Philippe Schnoebelen, Grégoire Sutre. lmcs, 15(4), 2019. [doi]

runs on WebDSL