Login / Signup

Proof by model: a new knowledge-based reachability analysis methodology for Petri net.

Daniel Yuh ChaoYen-Ping ChiTsung-Hsien YuLi-Chih YuMike Y. J. Lee
Published in: IMA J. Math. Control. Inf. (2017)
Keyphrases
  • petri net
  • process model
  • colored petri nets
  • petri net model
  • natural language
  • fuzzy logic
  • manufacturing systems
  • fuzzy petri net
  • high level petri nets