Login / Signup
Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking.
Nao Igawa
Tomoyuki Yokogawa
Sousuke Amasaki
Masafumi Kondo
Yoichiro Sato
Kazutami Arimoto
Published in:
IEICE Trans. Inf. Syst. (2020)
Keyphrases
</>
petri net
symbolic representation
bounded model checking
discrete event systems
petri net model
ims ld
fuzzy petri net
colored petri nets
data sets
model checking
knowledge base
data structure
real valued
reactive systems
concurrent systems