• DocumentCode
    643845
  • Title

    Coloured Petri net model of the bCMS system using CPN tools

  • Author

    Brito, Isabel Sofia ; Barros, Joao Paulo

  • Author_Institution
    Inst. Politec. de Beja, Beja, Portugal
  • fYear
    2013
  • fDate
    16-16 July 2013
  • Firstpage
    7
  • Lastpage
    12
  • Abstract
    This paper presents the content required for the selection of the modeling approach, a description of the modeling approach sufficient to understand the submitted model, and a description of the submitted model.
  • Keywords
    Petri nets; mathematics computing; CPN tool; bCMS system; coloured Petri net model; modeling approach selection; Availability; Computer languages; Fires; Petri nets; Power capacitors; Semantics; Vehicles;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Comparing Requirements Modeling Approaches Workshop (CMA@RE), 2013 International
  • Conference_Location
    Rio de Janeiro
  • Type

    conf

  • DOI
    10.1109/CMA-RE.2013.6664178
  • Filename
    6664178
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=643845