AUTOMATING THE CONVERSION OF COLORED PETRI NETS WITH QUALITATIVE TOKENS INTO COLORED PETRI NETS WITH QUANTITATIVE TOKENS

被引：0

作者：

Hlomozda, D. K. ^{[1
]}

Glybovets, M. M. ^{[1
]}

Maksymets, O. M. ^{[2
]}

机构：

[1] Natl Univ Kyiv Mohyla Acad, Kiev, Ukraine

[2] Facebook, Los Altos, CA USA

来源：

CYBERNETICS AND SYSTEMS ANALYSIS | 2018年 / 54卷 / 04期

关键词：

colored Petri nets; Diophantine equations; finite-state machines; grid structure;

D O I：

10.1007/s10559-018-0066-4

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The authors describe an algorithm for conversion of colored Petri nets with qualitative tokens into a colored Petri net with quantitative tokens preserving boundedness, mutual exclusion, and liveness properties. This conversion allows the invariance method to be applied to colored Petri nets, which uses the Truncated Set of Solutions finding algorithm for Petri net state equations expressed through systems of linear homogenous Diophantine equations. To show the algorithm's efficiency, it is applied to the colored Petri net that models the operation of a grid system. Equivalence of net models is tested by constructing and analyzing equal finite-state machine.

引用

页码：650 / 661

页数：12

共 50 条

[1] Petri nets without tokens
Mazurkiewicz, Antoni
[J]. Petri Nets and Other Models of Concurrency - ICATPN 2007, 2007, 4546 : 20 - 23
[2] PETRI NETS WITH INDIVIDUAL TOKENS
REISIG, W
[J]. THEORETICAL COMPUTER SCIENCE, 1985, 41 (2-3) : 185 - 213
[3] NONLINEAR INVARIANTS FOR COLORED PETRI NETS WITH INTERDEPENDEN TOKENS - APPLICATION TO THE PROOF OF PARALLEL PROGRAMS
VAUTHERIN, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 418 - 434
[4] COLORED PETRI NETS
JENSEN, K
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 248 - 299
[5] Using colored Petri nets to simulate object Petri nets
Corchado, FFR
Gallegos, FZ
Jiménez, AA
Dávila, HIP
[J]. International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
[6] A NOTE ON COLORED PETRI NETS
PETERSON, JL
[J]. INFORMATION PROCESSING LETTERS, 1980, 11 (01) : 40 - 43
[7] HIERARCHIES IN COLORED PETRI NETS
HUBER, P
JENSEN, K
SHAPIRO, RM
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 483 : 313 - 341
[8] ON THE INVARIANTS OF COLORED PETRI NETS
NARAHARI, Y
VISWANADHAM, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 330 - 345
[9] Modeling of railway nets with colored Petri nets
Paliulis, E
Pranevicius, H
[J]. TRANSPORT MEANS 2004: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE, 2004, : 39 - 43
[10] Quantitative analysis of permutation capability with colored petri nets
Bashirov, R
Crespi, V
[J]. MASCOTS 2005:13TH IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS, 2005, : 463 - 470

← 1 2 3 4 5 →