Decidability Problems of a Basic Class of Object Nets

Roxana Dietze, Manfred Kudlek, Olaf Kummer. Decidability Problems of a Basic Class of Object Nets. Fundamenta Informaticae, 79(3-4):295-302, 2007. [doi]

Abstract

Abstract is missing.