A Timed Extension of Property Sequence Chart.

Pengcheng Zhang Bixin Li Mingjie Sun

Published in: HASE (2008)

Keyphrases

petri net
information retrieval
artificial intelligence
computer vision
pseudorandom
sequence analysis
long sequences
linear time temporal logic