• DocumentCode
    2303044
  • Title

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

  • Author

    Pettit, Robert G., IV ; Gomaa, Hassan

  • Author_Institution
    Software Productivity Consortium, Herndon, VA, USA
  • fYear
    1996
  • fDate
    21-25 Oct 1996
  • Firstpage
    168
  • Lastpage
    171
  • 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 (ADARTSSM) and its sister method, CODARTS (Concurrent Design Approach for Real-Time Systems)
  • Keywords
    Petri nets; formal specification; graph colouring; real-time systems; ADARTS; CODARTS; Petri nets integration; colored Petri nets; concurrent systems; design methods; real-time systems; software design methods; Concurrent computing; Design engineering; Design methodology; Object oriented modeling; Performance analysis; Petri nets; Productivity; Real time systems; Software architecture; Software design;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Engineering of Complex Computer Systems, 1996. Proceedings., Second IEEE International Conference on
  • Conference_Location
    Montreal, Que.
  • Print_ISBN
    0-8186-7614-0
  • Type

    conf

  • DOI
    10.1109/ICECCS.1996.558408
  • Filename
    558408
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2303044