The Reachability Problem for Petri Nets Is Not Elementary

doi 10.1145/3313276.3316369
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press