Remove JavaDoc petrinet param from HistoryManager
Remove debug method from HistoryManager