Login / Signup
Proof by model: a new knowledge-based reachability analysis methodology for Petri net.
Daniel Yuh Chao
Yen-Ping Chi
Tsung-Hsien Yu
Li-Chih Yu
Mike 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