Media type: E-Article Title: Application and Theory of Petri Nets and Concurrency: Efficient Algorithms for Three Reachability Problems in Safe Petri Nets Contributor: Bouvier, Pierre; Garavel, Hubert Published: Springer International Publishing, 2021 Published in: Application and Theory of Petri Nets and Concurrency (2021), Seite 339-359 Language: Not determined DOI: 10.1007/978-3-030-76983-3_17 ISSN: 0302-9743; 1611-3349 Origination: Footnote: