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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.