Compute deterministic trace
Motivation
Usage
java -jar bioLQM.jar model.sbml -r trace -u synchronous -i 001011 -m 100 -l 10
The output is a list of successive states. The simulation stops when reaching a stable state, a cycle up to length l, or the maximal number of steps.