Integrating Petri nets with design methods for concurrent and real-time systems
Robert G. Pettit, Hassan E. M. Gomaa · 2002
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/sup SM/) and its sister method, CODARTS (Concurrent Design Approach for Real-Time Systems).