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
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;
Conference_Titel :
Comparing Requirements Modeling Approaches Workshop (CMA@RE), 2013 International
Conference_Location :
Rio de Janeiro
DOI :
10.1109/CMA-RE.2013.6664178
