Module net.automatalib.serialization.fsm

module net.automatalib.serialization.fsm
This module contains deserializers for the Finite State Machine (FSM) format as used by LTSmin. For further information about the FSM format, see the mcrl2 documentation. Currently, this module supports deserialization of DFAs and MealyMachines (both with alternating and synchronous input/ouput symbols).

Note that this format differs from the identically named FSM format of libfsm.

This module is provided by the following Maven dependency: 

 <dependency>
   <groupId>net.automatalib</groupId>
   <artifactId>automata-serialization-fsm</artifactId>
   <version>${version}</version>
 </dependency>