Integrating Petri nets with design methods for concurrent and real-time systems

R.G Pettit,H Gomaa

doi:10.1109/iceccs.1996.558408

Integrating Petri nets with design methods for concurrent and real-time systems

R.G Pettit, H Gomaa

https://doi.org/10.1109/iceccs.1996.558408

Copy DOI

Publication Date: Oct 21, 1996

Citations: 8

Affiliation: George Mason University

#Design Approach For Real-Time Systems #Integrating Petri Nets + Show 8 more

Abstract
Full-Text
Similar Papers

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/sup SM/) and its sister method, CODARTS (Concurrent Design Approach for Real-Time Systems).

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title

Journal

Date

Author

View more papers

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.