| Abstract |
|
This paper describes on-going efforts to integrate Petri nets with software design methods for concurrent and real-time systems. Specifically, this paper presents an approach for integrating colored Petri nets with the Ada-based Design Approach for Real-Time Systems (ADARTS) and its sister method, CODARTS (Concurrent Design Approach for Real-Time Systems). The introduction describes why we are interested in the integration of Petri nets with design methods for concurrent and real-time systems. Following the introduction are brief overviews of the ADARTS and CODARTS methods and the Petri net model used in this paper. Finally, the approach to modeling ADARTS and CODARTS artifacts with Petri nets is described and conclusions are presented that describe the results of this study, some unsolved problems, and future research directions.
|
 Additional Information
|
Index Terms- real-time systems, software design methods, Petri nets, ADARTS, CODARTS
Citation:
Robert G. Pettit, IV, Hassan Gomaa,
"Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems,"
iceccs,
p. 168,
Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96),
1996
|
