Nonprimitive recursive complexity and undecidability for Petri net equivalence

• Authors:

• Petr Jančar

• Affiliations:

• Technical Univ. of Ostrava, Ostrava, Czech Republic

• Venue:
• Theoretical Computer Science
• Year:
• 2001