Integrating Petri nets with design methods for concurrent andreal-time systems

摘要

This paper describes on-going efforts to integrate Petri nets withsoftware design methods for concurrent and real time systems.Specifically, this paper presents an approach for integrating coloredPetri nets with the Ada-based Design Approach for Real-Time Systems(ADARTSSM) and its sister method, CODARTS (Concurrent DesignApproach for Real-Time Systems)