Revisiting Petri Net modeling of the Cigarette Smokers' Problem: A GPenSIM Approach

被引：1

作者：

Davidrajuh, Reggie ^{[1
]}

机构：

[1] Univ Stavanger, Stavanger, Norway

来源：

UKSIM-AMSS SEVENTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2013) | 2013年

关键词：

The cigarette smokers' problem; Petri Net; Petri Net extensions; GPenSIM; discrete event systems;

D O I：

10.1109/EMS.2013.34

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：195 / 200

页数：6

共 12 条

[1]

Agerwala Tilak, 1973, P 1 ANN S COMP ARCH, P81, DOI [DOI 10.1145/800123.803973, 10.1145]

[2]

[Anonymous], 57 MIT

[3]

[Anonymous], SIGOPS OPER SYST REV

[4]

Bardin S., 2004, P WORKSH INT FORM PE, P26

[5]

Davidrajuh R., 2012, INT J SIMULATION SYS, V12, P28

[6]

Davidrajuh R., 2012, P IEEE INT C SYST MA

[7] Efficient scheduling focusing on the duality of MPL representation [J].

Goto, Hiroyuki ;

Hasegawa, Yusuke ;

Tanaka, Masaki .

2007 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE IN SCHEDULING, 2007, :57-+

[8]

Keller R., 1974, 117 PRINC U COMP SCI

[9] SOLUTION TO CIGARETTE SMOKERS PROBLEM (WITHOUT CONDITIONAL STATEMENTS) [J].

PARNAS, DL .

COMMUNICATIONS OF THE ACM, 1975, 18 (03) :181-183

[10]

Peterson J.L., 1981, Petri Net Theory and the Modeling of Systems

← 1 2 →