buildtree — Build Coverability Tree from Petri net
casesurabaya — The output of this function are departure schedule, period and
early departure of busway and commuter train in Surabaya. the scheduling
of busway and commuter train departure at every stop bus and shelter of
commuter train.