Old Web
English
Sign In
Acemap
>
Paper
>
Symbolic Representation based on Difference Logic of Time Petri Nets for Efficient Bounded Model Checking
Symbolic Representation based on Difference Logic of Time Petri Nets for Efficient Bounded Model Checking
2017
Igawa Nao
Yokogawa Tomoyuki
Miyazaki Hisashi
Kondo Masafumi
Sato Yoichiro
Arimoto Kazutami
Keywords:
Discrete mathematics
Petri net
Stochastic Petri net
Search engine
Model checking
Symbolic trajectory evaluation
Data mining
Bounded function
Computer science
Process architecture
Theoretical computer science
difference logic
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]