Dynamic modeling of information systems based on Colored Petri Nets

被引：0
|
作者：
Yan, ZJ [1 ]
Gan, RC [1 ]
机构：
[1] Beijing Inst Technol, Sch Management & Econ, Beijing 100081, Peoples R China
来源：
PROCEEDINGS OF THE 2001 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE AND ENGINEERING, VOLS I AND II | 2001年
关键词：
information systems; Colored Petri Nets; resources allocation; dynamic performance;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A dynamic modeling method based on Colored Petri Nets for resources allocation of information systems is developed. The resources allocation model is composed of three layers: application layer, data layer and resources layer. And the modeling procedure of an IS are presented. In constructing the application layer model, the transformation rules and strategies are proposed. And application example is presented.
引用
下载
收藏
页码：284 / 289
页数：6
相关论文
共 50 条
  • [31] Hierarchical colored Petri nets based components for workflow systems
    Zhou, Feng
    Bo, Rui-Feng
    Huang, Hong-Zhong
    Ling, Dan
    Miao, Qiang
    JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY, 2006, 20 (10) : 1527 - 1533
  • [32] Modeling and Integration of Hospital Information Systems with Petri Nets
    Darabi, Houshang
    Galanter, William L.
    Lin, Janet Yueh-Yun
    Buy, Ugo
    Sampath, Rupa
    PROCEEDINGS OF 2009 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATION, LOGISTICS AND INFORMATICS, 2009, : 190 - +
  • [33] CONSTRUCTS FOR MODELING INFORMATION-SYSTEMS WITH PETRI NETS
    HEUSER, CA
    RICHTER, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 224 - 243
  • [34] MODELING HOSPITAL INFORMATION-SYSTEMS WITH PETRI NETS
    PEIMANN, CJ
    METHODS OF INFORMATION IN MEDICINE, 1988, 27 (01) : 17 - 22
  • [35] Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems
    Kaid, Husam
    Al-Ahmari, Abdulrahman
    Li, Zhiwu
    Davidrajuh, Reggie
    PROCESSES, 2020, 8 (03)
  • [36] PETRI NETS FOR MODELING OF DYNAMIC-SYSTEMS - A SURVEY
    DAVID, R
    ALLA, H
    AUTOMATICA, 1994, 30 (02) : 175 - 202
  • [37] Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
    Robidoux, Ryan
    Xu, Haiping
    Xing, Liudong
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2010, 40 (02): : 337 - 351
  • [38] A timed colored Petri nets modeling for dynamic workflow in product development process
    Ha, Seungchul
    Suh, Hyo-Won
    COMPUTERS IN INDUSTRY, 2008, 59 (2-3) : 193 - 209
  • [39] Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets
    Meng, Xiuli
    JOURNAL OF MANUFACTURING SYSTEMS, 2010, 29 (2-3) : 81 - 90
  • [40] Modeling and Verification of SCTP Association Management Based on Colored Petri Nets
    Wang, Jizeng
    Zhang, Shengcai
    Chen, Fan
    2008 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL 1, PROCEEDINGS, 2008, : 379 - 383
12345