Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/698
Title: | Coloured Petri Net Model of the bCMS system using CPN tools |
Authors: | Brito, Isabel Sofia |
Orientador: | Barros, João Paulo |
Keywords: | Petri nets Mathematics computing |
Issue Date: | 16-Jul-2013 |
Publisher: | IEEE |
Citation: | Estilo IEEE: I.S. Brito, J.P. Barros, "Coloured Petri Net Model of the bCMS system using CPN tools, " in 3rd International Workshop on Comparing Requirements Modeling Approaches, CMA@RE - Proceedings, 2013, pp. 7-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. |
Description: | 3rd International Workshop on Comparing Requirements Modeling Approaches, CMA@RE - Proceedings: Rio de Janeiro, Brasil: July 7-12, 2013 |
Peer reviewed: | yes |
URI: | http://hdl.handle.net/20.500.12207/698 |
ISBN: | 978-1-4799-0779-3 |
Publisher version: | http://dx.doi.org/10.1109/CMA-RE.2013.6664178 |
Appears in Collections: | D-ENG - Comunicações com peer review |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.