Inproceedings,

The reachability problem for Petri nets is not elementary.

, , , , and .
STOC, page 24-33. ACM, (2019)

Meta data

Tags

Users

  • @dblp
  • @paves_intern

Comments and Reviews