Viktor Teren, Jordi Cortadella, Tiziano Villa. Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets. In 25th Euromicro Conference on Digital System Design, DSD 2022, Maspalomas, Spain, August 31 - Sept. 2, 2022. pages 165-173, IEEE, 2022. [doi]
No reviews for this publication, yet.