Petri net-based design method of digital circuits

被引：0

作者：

Zhao, BH ^{[1
]}

Yan, YG ^{[1
]}

机构：

[1] Nanjing Univ Aeronaut & Astronaut, Coll Automat, Nanjing 210016, Peoples R China

来源：

PROCEEDINGS OF THE 4TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-4 | 2002年

关键词：

digital circuits design; programmable devices; Petri net; parallel controller; System on Chip(SoC);

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Traditional design method of digital circuits isn't very appropriate for the design of parallel controller. This paper presents a Petri Net-Based design method of digital circuits: first model the problem with Petri Net, then analysis and control the model. Thus the Petri Net's control model of the system is achieved. We can describe the Petri Net's control model with hardware description language and achieve the source file. Through Electronics Design Automation software developing tools, the source file is compiled, simulated, fit design and download to the device. Finally the hardware implementation of the controller of dining philosopher's problem is presented.

引用

页码：363 / 366

页数：4

共 50 条

[21] Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems
Zeng, Guoqiang
Wu, Weimin
Zhou, MengChu
Mao, Weijie
Su, Hongye
Chu, Jian
[J]. 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 193 - +
[22] Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs
Leroux, Helene
Andreu, David
Godary-Dejean, Karen
[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2015, 11 (04) : 897 - 906
[23] Petri net-based design of modular supervisors for remotely human control systems
Lee, JS
Zhou, MC
Hsu, PL
[J]. SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2004, : 1271 - 1276
[24] A PETRI NET-BASED SIMULATION TOOL FOR THE DESIGN AND ANALYSIS OF FLEXIBLE MANUFACTURING SYSTEMS
YIM, DS
BARTA, TA
[J]. JOURNAL OF MANUFACTURING SYSTEMS, 1994, 13 (04) : 251 - 261
[25] PETRI NET-BASED AFFECTIVE-COGNITIVE MODELING FOR PRODUCT ECOSYSTEM DESIGN
Xu, Qianli
Zhou, Feng
Jiao, Jianxin
[J]. PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2011, VOL 9, 2012, : 669 - 680
[26] A Petri Net-based Model for the Attacking Soccer Robots
Coman, Daniela
[J]. RECENT ADVANCES IN AUTOMATION & INFORMATION: PROCEEDINGS OF THE 10TH WSEAS INTERNATIONAL CONFERENCE ON AUTOMATION & INFORMATION (ICAI'09), 2009, : 186 - +
[27] A Petri net-based visual language for specifying GUIs
Li, XS
Mugridge, WB
Hosking, JG
[J]. 1997 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1997, : 50 - 57
[28] A Petri Net-Based Approach to Control of Boolean Networks
Kobayashi, Koichi
Hiraishi, Kunihiko
[J]. 2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 2012, : 399 - 403
[29] Petri net-based representation of rules and verification of consistency
丁彩虹
姜兴渭
黄文虎
[J]. Journal of Harbin Institute of Technology(New series), 2001, (02) : 125 - 128
[30] A Logic Petri Net-Based Method for Repairing Process Models With Concurrent Blocks
Teng, Yuanxiu
Du, Yuyue
Qi, Liang
Luan, Wenjing
[J]. IEEE ACCESS, 2019, 7 : 8266 - 8282

← 1 2 3 4 5 →