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.
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Schlachter, Uli: Petri net synthesis for restricted classes of nets (2016)
- Best, Eike; Devillers, Raymond: Synthesis and reengineering of persistent systems (2015)
- Solé, Marc; Carmona, Josep: Incremental process discovery (2012)