Computer Science ›› 2006, Vol. 33 ›› Issue (5): 287-289.
Previous Articles Next Articles
DUAN Feng-Qin ,LI Xiang (Institute of Computer Seienee,Guizhou University,Guiyang 550025)
Online:
Published:
Abstract: Petri Net is an intuitional graphics tool of depicting subsequent system. Spin is a famous tool of analyzing and validating subsequent system. First this paper discusses the description of Petri Net's property using Linear TernT poral Logic. Then it inves
Key words: Model checking, Spin, Promela, Petri Nets, LTL
DUAN Feng-Qin ,LI Xiang (Institute of Computer Seienee,Guizhou University,Guiyang 550025). [J].Computer Science, 2006, 33(5): 287-289.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2006/V33/I5/287
Cited