The Reachability Problem for Petri Nets Is Not Elementary

Wojciech Czerwinski, Slawomir Lasota 0001, Ranko Lazic, Jérôme Leroux, Filip Mazowiecki. The Reachability Problem for Petri Nets Is Not Elementary. Journal of the ACM, 68(1), 2021. [doi]

Authors

Wojciech Czerwinski

This author has not been identified. Look up 'Wojciech Czerwinski' in Google

Slawomir Lasota 0001

This author has not been identified. Look up 'Slawomir Lasota 0001' in Google

Ranko Lazic

This author has not been identified. Look up 'Ranko Lazic' in Google

Jérôme Leroux

This author has not been identified. Look up 'Jérôme Leroux' in Google

Filip Mazowiecki

This author has not been identified. Look up 'Filip Mazowiecki' in Google