Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Edge Multiplicities
209-221
Reachalbility Problems
7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013
Springer-Verlag
2013
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri-Nets
70-89
Application and Theory of Petri Nets and Concurrency
34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013
Springer-Verlag
2013
Gerdt, Vladimir P.; Koepf, Wolfram; Mayr, Ernst W.; Vorozhtsov, Evgenii V.
Computer Algebra in Scientific Computing, 15th International Workshop, CASC 2013
Springer International Publishing
2013
Dimension-dependent bounds for Gröbner bases of polynomial ideals
Journal of Symbolic Computation
2013
49
Feb
78-94