lola

http://service-technology.org/lola/

Current versions
2.0
HEAD

Recent formula history

Niels LoLA: Updated to LoLA 2.0
Jack Nagel lola: use spec deps
Niels LoLA: 1.17 - A Low Level Petri Net Analyser

Formula code at GitHub