SEQUENTIAL AND CONCURRENT BEHAVIOR IN PETRI NET THEORY

被引：157

|

作者：

BEST, E ^{[1
]}

DEVILLERS, R ^{[1
]}

机构：

[1] UNIV LIBRE BRUXELLES,INFORMAT THEORIQUE LAB,B-1050 BRUSSELS,BELGIUM

来源：

THEORETICAL COMPUTER SCIENCE | 1987年 / 55卷 / 01期

关键词：

All Open Access; Bronze;

D O I：

10.1016/0304-3975(87)90090-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

COMPUTER METATHEORY

引用

收藏

页码：87 / 136

页数：50

相关论文

共 50 条

[41] A survey on the applications of petri net theory in power systems
Lin, Zhenzhi
Wen, Fushuan
Chung, C. Y.
Wong, K. P.
2006 POWER ENGINEERING SOCIETY GENERAL MEETING, VOLS 1-9, 2006, : 2349 - +
[42] Formal design method of Petri net controllers for sequential manufacturing systems
Xidian Univ, Xi'an, China
Zidonghua Xuebao, 2 (213-219):
[43] PETRI-NET ALGORITHMS IN THE THEORY OF MATRIX GRAMMARS
HAUSCHILDT, D
JANTZEN, M
ACTA INFORMATICA, 1994, 31 (08) : 719 - 728
[44] Flexible process sequencing using petri net theory
Comput Ind Eng, 2 (279):
[45] Formal design method of Petri net controllers for sequential manufacturing systems
Zidonghua Xuebao/Acta Automatica Sinica, 1997, 23 (02): : 213 - 219
[46] RECURSIVE DEFINITION OF PROTOCOLS BASED ON PETRI NET THEORY
ANISIMOV, NA
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1987, (05): : 3 - 7
[47] Petri net models applied to analyze automatic sequential pressing systems
Jehng, WK
JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 2002, 120 (1-3) : 115 - 125
[48] Petri net versus queuing theory for evaluation of FMS
Ullah, Hamid
ASSEMBLY AUTOMATION, 2011, 31 (01) : 29 - 37
[49] Controlling Petri Net Behavior using Priorities for Transitions
Lomazova, Irina A.
Popova-Zeugmann, Louchka
FUNDAMENTA INFORMATICAE, 2016, 143 (1-2) : 101 - 112
[50] Behavior relations in synthesis process of Petri net models
Wang, HQ
Jiang, CJ
Liao, SY
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2000, 16 (04): : 400 - 407

← 1 2 3 4 5 →