Abstract | ||
---|---|---|
This work introduces a method to model Real-time Databases (RTDB) based on an object based Petri net notation named EG-CPN. This notation is enriched in order to promote the efficient des- cription of a model integrating the RTDB and the Real-time system. The method makes available to the designer contructs allowing, for example, the declaration of logic and timing restrictions as well as concurrent execution of methods in a RTDB application. Moreover, we present an example where the method is applied in the modeling and validation of database and control objects of a flexible manufacturing system cell. |
Year | Venue | Keywords |
---|---|---|
1999 | SBBD | real time,real time systems,petri net |
Field | DocType | Citations |
Computer science,Real-time computing,Humanities,Database | Conference | 0 |
PageRank | References | Authors |
0.34 | 6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Maria Ligia B. Perkusich | 1 | 17 | 5.15 |
Maria de F. Q. V. Turnell | 2 | 10 | 2.82 |
Angelo Perkusich | 3 | 279 | 61.03 |