dc.contributor.author | Davidrajuh, Reggie | |
dc.date.accessioned | 2017-02-22T12:36:26Z | |
dc.date.available | 2017-02-22T12:36:26Z | |
dc.date.issued | 2013-11 | |
dc.identifier.citation | Davidrajuh, R. (2013) Revisiting Petri Net Modeling of the Cigarette Smokers' Problem: A GPenSIM Approach. Modelling Symposium (EMS), 2013 European. | nb_NO |
dc.identifier.isbn | 978-1-4799-2577-3 | |
dc.identifier.uri | http://hdl.handle.net/11250/2431775 | |
dc.description.abstract | Petri Nets is a family of modeling formalisms, with different interpretations and abstraction levels; the Petri nets family of modeling formalisms includes ordinary Petri Net, generalized Petri Net, and also all other extensions e.g. Colored Petri Net, Petri Net with priority, and Petri Net with inhibitor arcs. The availability of different formalisms of the Petri Net family is considered as its main strength, since a discrete system can be modeled with different Petri Net formalism, in order to achieve different abstraction levels and different interpretations. This work presents an application of a new Petri Net simulator known as GPenSIM; GPenSIM is used to model the classical Cigarette Smokers' Problem, using the different Petri Net extensions implemented in GPenSIM. Thus, this work can be considered as a benchmark to test the strengths and weakness of GPenSIM, in modeling and simulation of discrete event systems. | nb_NO |
dc.language.iso | eng | nb_NO |
dc.publisher | IEEE | nb_NO |
dc.subject | analytical models | nb_NO |
dc.subject | computational modeling | nb_NO |
dc.subject | mathematical modeling | nb_NO |
dc.subject | inhibotors | nb_NO |
dc.subject | GPenSIM | nb_NO |
dc.subject | Petri net | nb_NO |
dc.subject | discrete event system simulation | nb_NO |
dc.subject | discrete event systems | nb_NO |
dc.title | Revisiting Petri Net Modeling of the Cigarette Smokers' Problem: A GPenSIM Approach | nb_NO |
dc.type | Conference object | nb_NO |
dc.rights.holder | © 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | nb_NO |
dc.subject.nsi | VDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550::Teknisk kybernetikk: 553 | nb_NO |
dc.source.pagenumber | 195-200 | nb_NO |
dc.source.volume | November 2013 | nb_NO |
dc.source.journal | Modelling Symposium (EMS), 2013 European | nb_NO |
dc.identifier.doi | 10.1109/EMS.2013.34 | |