Sciweavers

124
Voted
AWPN
2008
232views Algorithms» more  AWPN 2008»
15 years 10 days ago
Synthesis of Petri Nets from Infinite Partial Languages with VipTool
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
Robin Bergenthum, Sebastian Mauser