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.

References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Schlachter, Uli: Petri net synthesis for restricted classes of nets (2016)
  2. Best, Eike; Devillers, Raymond: Synthesis and reengineering of persistent systems (2015)
  3. Solé, Marc; Carmona, Josep: Incremental process discovery (2012)