$ lola --formula="EF DEADLOCK" phils10.lola
lola: reading net from phils10.lola
lola: checking reachability of deadlocks
lola: result: yes
lola: The net satisfies the given formula.
lola: 29 markings, 37 edges
