105
Voted
APN
2008
Springer
15 years 26 days ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
61
Voted
APN
2008
Springer
15 years 26 days ago
2008
Springer
106
click to vote
APN
2008
Springer
15 years 26 days ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...