PNets - the Verification Tool based on Petri Nets

被引：0

作者：

Siebert, Miroslav ^{[1
]}

Flochova, Jana ^{[1
]}

机构：

[1] Slovak Univ Technol Bratislava, Fac Informat & Informat Technol, Bratislava 84216, Slovakia

来源：

WORLD CONGRESS ON ENGINEERING - WCE 2013, VOL I | 2013年

关键词：

design; educational tool; Petri nets; properties;

D O I：

暂无

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

The paper is aimed to digital systems modelling and verification using Petri nets. A new teaching method was proposed and implemented into an educational tool called PNets. This tool offers modelling and functionality animation of designed Petri nets together with verification of their fundamental properties as safety, liveness, conservativeness, boundedness etc. In comparison with existed similar educational tools, the proposed and implemented PNets is simpler, intuitive, less demanding on hardware and portable with more detailed verification of the designed Petri net. The tool is suitable for educational purposes and its functionality was verified by examples.

引用

页码：369 / 373

页数：5

共 9 条

[1]

Ceska M., 1994, PETRIHO SITE UVOD TE, P94

[2]

Ceska M., 2009, PETRIHO SITE, P224

[3]

Ceska M., 1995, P 7 MICR SCH VLSI AS, p185

[4]

Cortes L.A., 2001, MODELING VERIFICATIO, P37

[5]

Heitmann L., PETRI NETS RES GROUP

[6]

Jelemenska K., 2011, WCETR 2011 WORLD C E, V28, P305

[7] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].

MURATA, T .

PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580

[8]

Novosad P., 2007, P 21 EUR SIM MOD C E

[9]

Siebert M., 2011, THESIS STU FIIT BRAT, P80

← 1 →