Login / Signup
Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.
Zhijun Ding
Changjun Jiang
MengChu Zhou
Yaying Zhang
Published in:
IEEE Trans. Syst. Man Cybern. Part A (2008)
Keyphrases
</>
petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
fuzzy petri net
process model
state machines
service composition
colored petri nets
neural network
artificial intelligence
e learning
sequence diagrams
discrete dynamical systems
programmable logic controller