Object-oriented Approach to Timed Colored Petri Net Simulation

被引：0
|
作者：
Kowalski, Michal [1 ]
Rzasa, Wojciech [1 ]
机构：
[1] Rzeszow Univ Technol, Dept Comp & Control Engn, PL-35959 Rzeszow, Poland
来源：
2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS) | 2013年
关键词：
Petri nets; simulation; object-oriented; integration; CPN TOOLS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents object-oriented design of library meant for modeling and simulating Timed Colored Petri Net models. The approach is prepared to integrate TCPN models with crucial parts of larger applications implemented in object-oriented languages. The formal models can be tightly joined with applications allowing the latter to interpret states of the formal model in their domain of responsibility. This approach allows less error-prone and more pervasive use of formal methods to improve quality of software created with imperative languages.
引用
收藏
页码：1401 / 1404
页数：4
相关论文
共 50 条
  • [1] Fuzzy timed object-oriented Petri net
    Xu, H
    Jia, PF
    [J]. ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS II, 2005, 187 : 155 - 166
  • [2] Modeling with distributed measurement system based on colored timed object-oriented Petri net
    Shen, Y
    Guo, B
    Gu, TX
    [J]. ICEMI 2005: Conference Proceedings of the Seventh International Conference on Electronic Measurement & Instruments, Vol 2, 2005, : 349 - 352
  • [3] An Object-oriented and Colored Timed Petri Net Based Modeling Approach for Automated Intrabay Material Handling System
    Wu, Li-hui
    Zhu, Deng-jie
    Zhang, Guo-hui
    [J]. 2015 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND ARTIFICIAL INTELLIGENCE (CAAI 2015), 2015, : 31 - 36
  • [4] The approach for object-oriented Petri net modeling
    Ren, AH
    Niu, JZ
    [J]. OBJECT-ORIENTED TECHNOLOGY, 1997, : 26 - 30
  • [5] Modeling with colored timed object-oriented Petri nets for automated manufacturing systems
    Wang, LC
    Wu, SY
    [J]. COMPUTERS & INDUSTRIAL ENGINEERING, 1998, 34 (02) : 463 - 480
  • [6] AUV modeling and analysis using a colored object-oriented Petri net
    Feng, Xiaoning
    Liu, Qun
    Wang, Zhuo
    [J]. FIRST INTERNATIONAL MULTI-SYMPOSIUMS ON COMPUTER AND COMPUTATIONAL SCIENCES (IMSCCS 2006), PROCEEDINGS, VOL 2, 2006, : 405 - +
  • [7] A Fuzzy Timed Object-Oriented Petri Net for Multi-Agent Systems
    Xu, Hua
    Jia, Peifa
    [J]. ADVANCES IN NEURAL NETWORKS - ISNN 2008, PT 2, PROCEEDINGS, 2008, 5264 : 210 - 219
  • [8] An object-oriented and colored timed Petri Net Model for automated Interbay material handling system of semiconductor wafer fab
    Wu, Lihui
    Zhu, Dengjie
    Wu, Zhaoyun
    [J]. PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON APPLIED SCIENCE AND ENGINEERING INNOVATION, 2015, 12 : 838 - 841
  • [9] Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets
    Meng, Xiuli
    [J]. JOURNAL OF MANUFACTURING SYSTEMS, 2010, 29 (2-3) : 81 - 90
  • [10] Modeling and Simulation of AUV System Based on Object-Oriented Petri Net
    Liu, Xin
    Yin, Guisheng
    Zhang, Ziying
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2008, : 2860 - 2864
12345