as2fm.jani\_generator.main
==========================

.. automodule:: as2fm.jani_generator.main

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      main_convince_to_plain_jani
      main_scxml_to_jani