DocumentCode
358885
Title
Linear logic as a tool for presentation and temporal reasoning of time Petri nets
Author
Meimei, Gao ; Xiaoguang, Huang ; Zhiming, Wu
Author_Institution
Inst. of Autom., Shanghai Jiaotong Univ., China
Volume
5
fYear
2000
fDate
2000
Firstpage
3177
Abstract
Presents a translation procedure from time Petri nets (TPN) to linear logic with the objective of enhancing the presentation and reasoning ability of TPN. TPN are described by defining the translations in Petri nets using the connectives in linear logic, and firing rules in TPN are defined using linear logic. The behavior of TPN can be constructed and temporal reasoning can be achieved using the rules we defined. The behavior of TPN can be analyzed clearly using the method in the paper
Keywords
Petri nets; formal logic; temporal reasoning; firing rules; linear logic; presentation ability; reasoning ability; time Petri nets; translation procedure; Artificial intelligence; Automation; Computer science; Discrete event systems; Educational institutions; Fires; Foot; Logic; Petri nets;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2000. Proceedings of the 2000
Conference_Location
Chicago, IL
ISSN
0743-1619
Print_ISBN
0-7803-5519-9
Type
conf
DOI
10.1109/ACC.2000.879151
Filename
879151
Link To Document