Incremental Computation of Synthesis Rules for Free-Choice Petri Nets
P. Dixit, H. Verbeek, and {. Aalst. International Conference on Formal Aspects of Component Software (FACS 2018), volume 11222 of Lecture Notes in Computer Science, page 97--117. Springer-Verlag, Berlin, (2018)