A Class of Hypernets with Token Creation and Decidable Reachability Problem

Marek A. Bednarczyk, Piotr Józwiak, Wieslaw Pawlowski. A Class of Hypernets with Token Creation and Decidable Reachability Problem. In Louchka Popova-Zeugmann, editor, Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012. Volume 928 of CEUR Workshop Proceedings, pages 37-48, CEUR-WS.org, 2012. [doi]

Authors

Marek A. Bednarczyk

This author has not been identified. Look up 'Marek A. Bednarczyk' in Google

Piotr Józwiak

This author has not been identified. Look up 'Piotr Józwiak' in Google

Wieslaw Pawlowski

This author has not been identified. Look up 'Wieslaw Pawlowski' in Google