Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets

Ramchandra Phawade. Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets. In Daniel Moldt, Ekkart Kindler, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018. Volume 2138 of CEUR Workshop Proceedings, pages 77-98, CEUR-WS.org, 2018. [doi]

Abstract

Abstract is missing.