In: IEEE International Conference on Engineering of Complex Computer Systems, pages 168-171. October 1996.
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).
Keywords: software design methods; real-time systems; colored Petri nets.
Back to the Petri Nets Bibliography