Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems

• Authors: Robert G. Pettit, IV;Hassan Gomaa
• Venue: ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
• Year: 1996

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.