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]

@incollection{ChiniM19,
  title = {Inductive Counting and the Reachability Problem for Petri Nets},
  author = {Peter Chini and Roland Meyer},
  year = {2019},
  doi = {10.1007/978-3-319-96154-5_21},
  url = {https://doi.org/10.1007/978-3-319-96154-5_21},
  researchr = {https://researchr.org/publication/ChiniM19},
  cites = {0},
  citedby = {0},
  pages = {161-169},
  booktitle = {Carl Adam Petri: Ideas, Personality, Impact},
  editor = {Wolfgang Reisig and Grzegorz Rozenberg},
  publisher = {Springer},
  isbn = {978-3-319-96154-5},
}