Synet

Synet: A Synthesizer of Distributable Bounded Petri-Nets from Finite Automata. Synet is a software package synthesizing bounded Petri-nets, based on the algorithms described in [1,3,4,2]. It also comprizes a new synthesis algorithm based on the computation of extremal rays of polyhedral cones.