Title :
Integrating Petri nets with design methods for concurrent and real-time systems
Author :
Pettit, Robert G., IV ; Gomaa, Hassan
Author_Institution :
Software Productivity Consortium, Herndon, VA, USA
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 (ADARTSSM) and its sister method, CODARTS (Concurrent Design Approach for Real-Time Systems)
Keywords :
Petri nets; formal specification; graph colouring; real-time systems; ADARTS; CODARTS; Petri nets integration; colored Petri nets; concurrent systems; design methods; real-time systems; software design methods; Concurrent computing; Design engineering; Design methodology; Object oriented modeling; Performance analysis; Petri nets; Productivity; Real time systems; Software architecture; Software design;
Conference_Titel :
Engineering of Complex Computer Systems, 1996. Proceedings., Second IEEE International Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-7614-0
DOI :
10.1109/ICECCS.1996.558408
