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]

Authors

Peter Chini

This author has not been identified. Look up 'Peter Chini' in Google

Roland Meyer

This author has not been identified. Look up 'Roland Meyer' in Google