A systematic method supporting petri nets-based modelling of complex production systems using object repositories

被引：0
|
作者：
Kerckhoffs, EJH [1 ]
Alla, H [1 ]
Bobeanu, CV [1 ]
机构：
[1] Delft Univ Technol, Fac Informat Technol & Syst, Subfac Tech Math & Informat, NL-2628 BZ Delft, Netherlands
来源：
SIMULATION: PAST, PRESENT AND FUTURE | 1998年
关键词：
petri nets (PN); repository model base; production systems;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
An algebraic approach supporting the specification of PN-based models as composite objects, is presented. This paper is more than just a discussion of entirely new results of the authors' current investigations aimed to perfect a systematic method supporting PN-based modelling of Discrete Event Systems (DES). It is also an attempt to present various ideas developed in previous work and integrate them into a new setting. The well established concepts of the Discrete Event System Specification (DEVS) framework, nets topology and algebraic structures will help.
引用
收藏
页码：112 / 118
页数：7
相关论文
共 50 条
  • [1] A Petri nets-based formal approach to multifacetted modelling and simulation of complex production systems
    Bobeanu, CV
    Alla, H
    [J]. LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 1998 (LSS'98), VOL 1, 1999, : 373 - 379
  • [2] An algebraic approach to Petri nets-based representation of complex discrete systems
    Bobeanu, CV
    Kerckhoffs, EJH
    [J]. SIMULATION IN INDUSTRY 2001, 2001, : 959 - 964
  • [3] State Space Generation for Petri nets-based GALS Systems
    Moutinho, Filipe
    Gomes, Luis
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2012, : 620 - 625
  • [4] Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering
    Janousek, Vladimir
    Kvetonova, Sarka
    [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 841 - 848
  • [5] DISCRETE EVENT SYSTEMS AND LIFE CYCLE: A PETRI NETS-BASED VIEW
    Silva, Manuel
    [J]. INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 5 - 12
  • [6] Colored Petri Nets-Based Biological Network Reconstruction for Systems Biology
    Liu, Fei
    Hu, Zhifa
    Yang, Ming
    [J]. LIFE SYSTEM MODELING AND SIMULATION, 2014, 461 : 150 - 159
  • [7] A Petri nets-based modeling method for multi robot path planning
    Chu, Jing
    Zhou, Li
    Yue, Qi
    Hu, Yue
    Zheng, Zixuan
    Huang, Yong
    [J]. Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 2024, 42 (04): : 716 - 725
  • [8] Modelling and Verification of Interorganizational Workflows with Security Constraints: A Petri Nets-Based Approach
    Captarencu, Oana Otilia
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012, 2012, 112 : 486 - 493
  • [9] Petri Nets-Based Automatic Generation GUI Tools for Embedded Systems
    Gomes, Luis
    Lourenco, Joao
    [J]. 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2, 2008, : 269 - +
  • [10] Systematic structural modelling of discrete event systems using Petri nets
    Kerckhoffs, EJH
    Bobeanu, CV
    [J]. SIMULATION IN INDUSTRY 2001, 2001, : 949 - 958
12345