Completeness Results for Generalized Communication-Free Petri Nets with Arbitrary Edge Multiplicities

Ernst W. Mayr, Jeremias Weihmann. Completeness Results for Generalized Communication-Free Petri Nets with Arbitrary Edge Multiplicities. In Parosh Aziz Abdulla, Igor Potapov, editors, Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. Volume 8169 of Lecture Notes in Computer Science, pages 209-221, Springer, 2013. [doi]

Authors

Ernst W. Mayr

This author has not been identified. Look up 'Ernst W. Mayr' in Google

Jeremias Weihmann

This author has not been identified. Look up 'Jeremias Weihmann' in Google