Nonprimitive recursive complexity and undecidability for Petri net equivalences
Loading...
Downloads
Date issued
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Location
Není ve fondu ÚK
Signature
Abstract
Description
Subject(s)
Petri-nets, decidability, complexity
Citation
Theoretical Computer Science. 2001, vol. 256, issues 1-2, p. 23-30.