Jensen, Arne M.

• DAIMI Report Series No. 174 (1984): PB-174 Towards Reachability Trees for High-level Petri Nets - Articles
  Towards Reachability Trees for High-level Petri Nets
  Abstract  PDF