Relabelling LTS for Petri Net Synthesis via Solving Separation Problems

Uli Schlachter, Harro Wimmel. Relabelling LTS for Petri Net Synthesis via Solving Separation Problems. T. Petri Nets and Other Models of Concurrency, 14:222-254, 2019. [doi]

Abstract

Abstract is missing.