Analysis of Unbounded Petri Net With Lean Reachability Trees.

Jun Li Xiaolong Yu MengChu Zhou

Published in: IEEE Trans. Syst. Man Cybern. Syst. (2020)

Keyphrases

petri net
colored petri nets
knowledge base
decision trees
medical images
distributed systems
information processing
learning management systems
web service composition
discrete event systems
petri net model
high level petri nets