DocumentCode
2111885
Title
The persistence of the Petri Net state-space
Author
Okada, Koichi ; Wasaki, Katsumi ; Shidama, Yasunari
Author_Institution
Fac. of Eng., Shinshu Univ., Nagano, Japan
Volume
1
fYear
2002
fDate
2-5 Dec. 2002
Firstpage
69
Abstract
In this paper, we propose a system that implements the persistence of a Petri net state-space. The condition of such a system, modelled using a Petri net, can be monitored dynamically by comparison with the net´s state-space. High reliability is obtained when the net is used for surveillance. For this reason, it is necessary to determine the persistence of the condition. Therefore, in this research, we designed a system for the purpose of ensuring the persistence of the state-space by using a database system.
Keywords
Petri nets; XML; control system synthesis; relational databases; state-space methods; XML document; database system; dynamically monitored; petri net state space; reliability; surveillance; Condition monitoring; Database systems; Java; Mathematical model; Petri nets; Production facilities; Surveillance; System analysis and design; Virtual manufacturing; XML;
fLanguage
English
Publisher
ieee
Conference_Titel
Control, Automation, Robotics and Vision, 2002. ICARCV 2002. 7th International Conference on
Print_ISBN
981-04-8364-3
Type
conf
DOI
10.1109/ICARCV.2002.1234792
Filename
1234792
Link To Document