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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.