/rls_to_syrust

Convert output of RLS to input of petri-net synthesis framework.

Primary LanguageRust

RLS2SyRust

Convert output of RLS to input of petri-net synthesis framework.