For the most recent entries see the Petri Nets Newsletter.

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

Pettit, Robert G.; Gomaa, Hassan

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography