Inductive Counting and the Reachability Problem for Petri Nets

Peter Chini, Roland Meyer. Inductive Counting and the Reachability Problem for Petri Nets. In Wolfgang Reisig, Grzegorz Rozenberg, editors, Carl Adam Petri: Ideas, Personality, Impact. pages 161-169, Springer, 2019. [doi]

Abstract

Abstract is missing.