Login / Signup

Reachability Trees for High-level Petri Nets.

Peter HuberArne M. JensenLeif O. JepsenKurt Jensen
Published in: Theor. Comput. Sci. (1986)
Keyphrases
  • petri net
  • high level petri nets
  • decision trees
  • state space
  • ims ld
  • binary tree
  • data sets
  • case study
  • relational databases
  • recent advances
  • tree models
  • tree nodes