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 条
  • [1] A Petri net-based environment for GUI design
    Li, XS
    Mugridge, WB
    Hosking, JG
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2234 - 2239
  • [2] A colored Petri net-based formal method for the design of central systems
    Makungu, M
    StDenis, R
    Barbeau, M
    [J]. TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 28 - 35
  • [3] Petri Net-based Coordination Component for Collaborative Design
    Huang, Hong-Zhong
    Xu, Huan-Wei
    Zu, Xu
    [J]. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2010, 18 (03): : 199 - 205
  • [4] A colored Petri net-based approach to the design of controllers
    Makungu, M
    StDenis, R
    Barbeau, M
    [J]. PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 4425 - 4432
  • [5] A fuzzy Petri net-based reasoning method for rescheduling
    Qiao, Fei
    Wu, Qidi
    Li, Li
    Wang, Zuntong
    Shi, Bin
    [J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (3-4) : 435 - 455
  • [6] Petri net-based modeling and VHDL implementation of digital systems
    Wan, Jun
    [J]. PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2016, 48 : 108 - 111
  • [7] Petri net-based modeling of a class of complex digital systems
    Jayaram, R
    Raman, S
    Raj, RV
    Patnaik, LM
    [J]. COMPUTERS & ELECTRICAL ENGINEERING, 1997, 23 (01) : 41 - 53
  • [8] Petri net-based Airplane Overall Configuration Control Method
    Wang, Kai
    Liu, Yi
    [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON MODELLING AND SIMULATION (ICMS2009), VOL 3, 2009, : 183 - 188
  • [9] Petri Net-Based Problem Solving
    Capkovic, Frantisek
    [J]. 2014 IEEE 12TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS (SISY), 2014, : 203 - 208
  • [10] Petri net-based decision nets
    Simoes, MAS
    Barretto, MRP
    [J]. INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98), 1999, : 251 - 256
12345