No. 174 (1984): PB-174 Towards Reachability Trees for High-level Petri Nets

Articles

• Towards Reachability Trees for High-level Petri Nets

  Peter Huber, Arne M. Jensen, Leif Obel Jepsen, Kurt Jensen

  • PDF