On the finite containment problem for Petri nets
Under an Elsevier user license
open archive
Keywords
Petri net
vector addition set
finite containment problem
Ackermann function
Ramsey's Theorem
Cited by (0)
- *
This research was partially supported by NSF funding while the author was visiting the Department of Mathematics at the University of Illinois in Urbana, as well as by a Boston College faculty summer research grant.
Copyright © 1986 Published by Elsevier B.V.