To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
A Realization of the Persistence of Petri Net State Spaces using XML Data Deployment |
|
Author |
Katsumi Wasaki |
| Citation |
Vol. 8 No. 3 pp. 92-97 |
|
Abstract |
In this paper, we propose a reliable system framework that im-plements the persistence of a Petri net state space using XML data deployment with external database system, for concurrent system design. In recent times, many designers have tried to describe parallel systems using Petri nets. The condition of such a system, modeled using a Petri net, can be monitored dynamically by comparison with the net's state space. Thus, the high reliability is obtained if 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 |
System Reliability, Petri Nets, State Space Persistency and XML |
|
URL |
