Nonprimitive recursive complexity and undecidability for Petri net equivalences☆
Under an Elsevier user license
open archive
Keywords
Petri-nets
Decidability
Complexity
Cited by (0)
- ☆
Supported by the Grant Agency of the Czech Republic, Grant No. 201/97/0456.
Copyright © 2001 Elsevier Science B.V. All rights reserved.