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]

Bibliographies