k-Bounded Petri Net Synthesis from Modal Transition Systems.

From MaRDI portal
Publication:5111618