Decidability and Complexity of Petri Net Problems - An Introduction

Javier Esparza. Decidability and Complexity of Petri Net Problems - An Introduction. In Wolfgang Reisig, Grzegorz Rozenberg, editors, Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. Volume 1491 of Lecture Notes in Computer Science, pages 374-428, Springer, 1996.

Abstract

Abstract is missing.